Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
A spiral model of software development and enhancementBoehm, B. W.Computer (Long Beach, Calif.), 1988-05, Vol.21 (5), p.61-72 [Periódico revisado por pares]IEEETexto completo disponível |
|
12 |
Material Type: Artigo
|
Priority inheritance protocols: an approach to real-time synchronizationSha, L. ; Rajkumar, R. ; Lehoczky, J.P.IEEE transactions on computers, 1990-09, Vol.39 (9), p.1175-1185 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
13 |
Material Type: Artigo
|
A GENERAL-APPROACH TO CONNECTED-COMPONENT LABELING FOR ARBITRARY IMAGE REPRESENTATIONSDILLENCOURT, MB ; SAMET, H ; TAMMINEN, MJournal of the ACM, 1992-04, Vol.39 (2), p.253-280 [Periódico revisado por pares]NEW YORK: Assoc Computing MachineryTexto completo disponível |
|
14 |
Material Type: Artigo
|
Using occupancy grids for mobile robot perception and navigationElfes, A.Computer (Long Beach, Calif.), 1989-06, Vol.22 (6), p.46-57 [Periódico revisado por pares]IEEETexto completo disponível |
|
15 |
Material Type: Artigo
|
ON THE TIME-COMPLEXITY OF BROADCAST IN MULTIHOP RADIO NETWORKS - AN EXPONENTIAL GAP BETWEEN DETERMINISM AND RANDOMIZATIONBARYEHUDA, R ; GOLDREICH, O ; ITAI, AJournal of computer and system sciences, 1992-08, Vol.45 (1), p.104-126 [Periódico revisado por pares]SAN DIEGO: ElsevierTexto completo disponível |
|
16 |
Material Type: Artigo
|
ALGEBRAIC METHODS FOR INTERACTIVE PROOF SYSTEMSLUND, C ; FORTNOW, L ; KARLOFF, H ; NISAN, NJournal of the ACM, 1992-10, Vol.39 (4), p.859-868 [Periódico revisado por pares]NEW YORK: Assoc Computing MachineryTexto completo disponível |
|
17 |
Material Type: Artigo
|
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systemsGOLDREICH, O ; MICALI, S ; WIGDERSON, AJournal of the ACM, 1991-07, Vol.38 (3), p.691-729 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
|
18 |
Material Type: Artigo
|
Load distributing for locally distributed systemsShivaratri, N.G. ; Krueger, P. ; Singhal, M.Computer (Long Beach, Calif.), 1992-12, Vol.25 (12), p.33-44 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
|
19 |
Material Type: Artigo
|
Multiparty protocols, pseudorandom generators for logspace, and time-space trade-offsBabai, László ; Nisant, Noam ; Szegedy, MárióJournal of computer and system sciences, 1992-10, Vol.45 (2), p.204-232 [Periódico revisado por pares]SAN DIEGO: Elsevier IncTexto completo disponível |
|
20 |
Material Type: Artigo
|
Logical time in distributed computing systemsFidge, C.Computer (Long Beach, Calif.), 1991-08, Vol.24 (8), p.28-33 [Periódico revisado por pares]IEEETexto completo disponível |