Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Applying 'design by contract'Meyer, B.Computer (Long Beach, Calif.), 1992-10, Vol.25 (10), p.40-51 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Mediators in the architecture of future information systemsWiederhold, G.Computer (Long Beach, Calif.), 1992-03, Vol.25 (3), p.38-49 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
The Stanford Dash multiprocessorLenoski, D. ; Laudon, J. ; Gharachorloo, K. ; Weber, W.-D. ; Gupta, A. ; Hennessy, J. ; Horowitz, M. ; Lam, M.S.Computer (Long Beach, Calif.), 1992-03, Vol.25 (3), p.63-79 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Functional-link net computing: theory, system architecture, and functionalitiesPao, Y.-H. ; Takefuji, Y.Computer (Long Beach, Calif.), 1992-05, Vol.25 (5), p.76-79 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
The well-founded semantics for general logic programsVAN GELDER, A ; ROSS, K. A ; SCHLIPF, J. SJournal of the ACM, 1991-07, Vol.38 (3), p.620-650 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Institutions: abstract model theory for specification and programmingGoguen, Joseph ; Burstall, RodJournal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Periódico revisado por pares]NEW YORK: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Optimization, approximation, and complexity classesPapadimitriou, Christos H. ; Yannakakis, MihalisJournal of computer and system sciences, 1991-12, Vol.43 (3), p.425-440 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Neural-network-based fuzzy logic control and decision systemLin, C.-T. ; Lee, C.S.G.IEEE transactions on computers, 1991-12, Vol.40 (12), p.1320-1336 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
New spectral methods for ratio cut partitioning and clusteringHagen, L. ; Kahng, A.B.IEEE transactions on computer-aided design of integrated circuits and systems, 1992-09, Vol.11 (9), p.1074-1085 [Periódico revisado por pares]NEW YORK: IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Learnability and the Vapnik-Chervonenkis dimensionBlumer, Anselm ; Ehrenfeucht, A ; Haussler, David ; Warmuth, ManfredJournal of the ACM, 1989-10, Vol.36 (4), p.929-965 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |