Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Network routing models applied to aircraft routing problemsChen, Zhiqiang ; Holle, Andrew T. ; Moret, Bernard M. E. ; Saia, Jared ; Boroujerdi, Ali Alexopoulos, Christos ; Kang, KeebomProceedings of the 27th conference on Winter simulation, 1995, p.1200-1206Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Randomized mutual exclusion algorithms revisitedKushilevitz, Eyal ; Rabin, Michael O.Annual ACM Symposium on Principles of Distributed Computing: Proceedings of the eleventh annual ACM symposium on Principles of distributed computing; 10-12 Aug. 1992, 1992, p.275-283New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Il decadentismo spagnolo fra letteratura e crisi modernistaDE LLERA, LHispania sacra, 1996, Vol.48 (98), p.413-442 [Periódico revisado por pares]Madrid: Consejo Superior de Investigaciones CientíficasTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Fast randomized point location without preprocessing in two- and three-dimensional Delaunay triangulationsMücke, Ernst P. ; Saias, Isaac ; Zhu, BinhaiAnnual Symposium on Computational Geometry: Proceedings of the twelfth annual symposium on Computational geometry; 24-26 May 1996, 1996, p.274-283New York, NY, USA: ACMTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Proving time bounds for randomized distributed algorithmsLynch, Nancy ; Saias, Isaac ; Segala, RobertoAnnual ACM Symposium on Principles of Distributed Computing: Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing; 14-17 Aug. 1994, 1994, p.314-323New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Lower bounds for randomized mutual exclusionKushilevitz, Eyal ; Mansour, Yishay ; Rabin, Michael O. ; Zuckerman, DavidAnnual ACM Symposium on Theory of Computing: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing; 16-18 May 1993, 1993, p.154-163 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusionSaias, IsaacAnnual ACM Symposium on Principles of Distributed Computing: Proceedings of the eleventh annual ACM symposium on Principles of distributed computing; 10-12 Aug. 1992, 1992, p.263-274New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Formal verification of timed properties of randomized distributed algorithmsPogosyants, Anna ; Segala, RobertoAnnual ACM Symposium on Principles of Distributed Computing: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing; 20-23 Aug. 1995, 1995, p.174-183New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
An introduction to constructive shell representations for free-form surfaces and solidsMenon, J. P. Turner, Joshua ; Allen, George ; Rossignac, JaroslawACM Symposium on Solid and Physical Modeling: Proceedings on the second ACM symposium on Solid modeling and applications; 19-21 May 1993, 1993, p.23-34New York, NY, USA: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Extensibility safety and performance in the SPIN operating systemBershad, B. N. ; Savage, S. ; Pardyak, P. ; Sirer, E. G. ; Fiuczynski, M. E. ; Becker, D. ; Chambers, C. ; Eggers, S. Jones, Michael B.Proceedings of the fifteenth ACM symposium on Operating systems principles, 1995, p.267-283New York, NY, USA: ACMTexto completo disponível |