Results 1 - 10 of 118 for General Search
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
resource type:
Conference Proceedings
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Conference Proceeding
|
|
Model verification in Σ: a type inference approachKortright, Enrique V. Rutan, Alan H.Proceedings of the 24th annual symposium on Simulation, 1991, p.283-289Los Alamitos, CA, USA: IEEE Computer Society PressFull text available |
| 2 |
Material Type: Conference Proceeding
|
|
Equate: an object-oriented constraint solverWilk, Michael R. Paepcke, AndreasConference proceedings on Object-oriented programming systems, languages, and applications, 1991, p.286-298New York, NY, USA: ACMFull text available |
| 3 |
Material Type: Conference Proceeding
|
|
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: ACMFull text available |
| 4 |
Material Type: Conference Proceeding
|
|
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: ACMFull text available |
| 5 |
Material Type: Conference Proceeding
|
|
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 [Peer Reviewed Journal]New York, NY, USA: ACMFull text available |
| 6 |
Material Type: Conference Proceeding
|
|
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: ACMFull text available |
| 7 |
Material Type: Conference Proceeding
|
|
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: ACMFull text available |
| 8 |
Material Type: Conference Proceeding
|
|
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: ACMFull text available |
| 9 |
Material Type: Conference Proceeding
|
|
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 SocietyFull text available |
| 10 |
Material Type: Conference Proceeding
|
|
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: ACMFull text available |
Results 1 - 10 of 118 for General Search
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Subject
- Science & Technology (70)
- Technology (62)
- Computer Science (57)
- Computer Science, Theory & Methods (37)
- Engineering (26)
- Engineering, Electrical & Electronic (23)
- Computer Science, Hardware & Architecture (14)
- Computer Science, Information Systems (13)
- Physical Sciences (13)
- Theory Of Computation -- Design And Analysis Of Algorithms (12)
- Mathematics (9)
- Mathematics, Applied (9)
- Computer Science, Artificial Intelligence (9)
- Fault Tolerance (7)
- Information Systems -- Information Systems Applications -- Data Mining (7)
- Computer Systems Organization -- Architectures -- Distributed Architectures (6)
- Telecommunications (6)
- Science & Technology - Other Topics (6)
- Theory Of Computation -- Models Of Computation -- Probabilistic Computation (6)
- Byzantine Agreement (5)
-
More options
Creation Date
- Before1997 (12)
- 1997To2002 (18)
- 2003To2008 (24)
- 2009To2015 (35)
- After 2015 (30)
-
More options
Database/Library
- ACM Digital Library (77)
- IEEE Electronic Library (IEL) Conference Proceedings (27)
- NUS Single-Journal Subscriptions (5)
- SpringerLINK Lecture Notes in Computer Science (2015) (4)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (4)
- EZB Electronic Journals Library (4)
- DOAJ Directory of Open Access Journals (4)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (4)
- IngentaConnect Journals (3)
- ScienceDirect® (3)
- Gale Academic OneFile Select (3)
- BMJ Journals - NESLi2 (2)
- HighWire Press (Free Journals) (2)
- ROAD: Directory of Open Access Scholarly Resources (2)
- SPIE_国际光学工程学会期刊 (2)
- EDP Sciences (2)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (2)
- Casalini Torrossa Journals (1)
- Revistas Cientificas Del CSIC (1)
- Oceanic Abstracts (1)
-
More options
Language
- English (116)
- Japanese (5)
- French (2)
- Portuguese (1)
- Italian (1)
- Spanish (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 