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, JA ; BURSTALL, RMJournal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Periódico revisado por pares]NEW YORK: Assoc Computing MachineryTexto 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, A ; EHRENFEUCHT, A ; HAUSSLER, D ; WARMUTH, M. KJournal of the ACM, 1989-10, Vol.36 (4), p.929-965 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |