Resultados de 1 a 10 de 12 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| 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 |
Resultados de 1 a 10 de 12 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Mathematics Of Computing -- Probability And Statistics -- Probabilistic Algorithms (4)
- Theory Of Computation -- Formal Languages And Automata Theory (2)
- Theory Of Computation -- Models Of Computation -- Probabilistic Computation (2)
- Computing Methodologies -- Computer Graphics -- Shape Modeling -- Volumetric Models (1)
- Computer Science (1)
- Computer Systems Organization -- Dependable And Fault-Tolerant Systems And Networks (1)
- Computer Systems Organization -- Architectures -- Distributed Architectures (1)
- Computing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages (1)
- Hardware -- Communication Hardware, Interfaces And Storage (1)
- Computing Methodologies -- Modeling And Simulation -- Simulation Theory (1)
- Engineering (1)
- Computing Methodologies -- Modeling And Simulation -- Model Development And Analysis (1)
- Computing Methodologies -- Modeling And Simulation -- Simulation Types And Techniques (1)
- Computing Methodologies -- Modeling And Simulation (1)
- General And Reference -- Cross-Computing Tools And Techniques -- Performance (1)
- Engineering, Industrial (1)
- Computing Methodologies -- Computer Graphics -- Rendering -- Ray Tracing (1)
- Engineering, Manufacturing (1)
- Computing Methodologies -- Computer Graphics -- Shape Modeling (1)
- Computer Science, Interdisciplinary Applications (1)
-
Mais opções
Data de Publicação
- Antes de1992 (2)
- 1992Até1992 (2)
- 1993Até1993 (2)
- 1994Até1995 (4)
- Após 1995 (2)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library (11)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- IngentaConnect Journals (1)
- Publisher or Other Site (1)
- EZB Electronic Journals Library (1)
- Revistas Cientificas Del CSIC (1)
- Casalini Torrossa Journals (1)
- DOAJ Directory of Open Access Journals (1)
-
Mais opções
Idioma
- Inglês (11)
- Italiano (1)
- Espanhol (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 