Results 1 - 10 of 2,515 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Full Text Online (2,384)
- Peer-reviewed Journals (1,867)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Consensus in the presence of partial synchronyDwork, Cynthia ; Lynch, Nancy ; Stockmeyer, LarryJournal of the ACM, 1988-04, Vol.35 (2), p.288-323 [Peer Reviewed Journal]New York, NY: ACMFull text available |
| 2 |
Material Type: Article
|
|
Graph-Based Algorithms for Boolean Function ManipulationBRYANT, R. EIEEE Trans. Comput.; (United States), 1986-08, Vol.C-35 (8), p.677-691 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
| 3 |
Material Type: Article
|
|
Many hard examples for resolutionCHVATAL, V ; SZEMEREDI, EJournal of the ACM, 1988-10, Vol.35 (4), p.759-768 [Peer Reviewed Journal]New York, NY: ACMFull text available |
| 4 |
Material Type: Article
|
|
Using dual approximation algorithms for scheduling problems theoretical and practical resultsHochbaum, Dorit ; Shmoys, DavidJournal of the ACM, 1987-01, Vol.34 (1), p.144-162 [Peer Reviewed Journal]New York, NY: ACMFull text available |
| 5 |
Material Type: Article
|
|
Fat-trees: Universal networks for hardware-efficient supercomputingLeiserson, C. E.IEEE transactions on computers, , Vol.C-34 (10), p.892-901 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
| 6 |
Material Type: Article
|
|
Computational limitations on learning from examplesPitt, Leonard ; Valiant, LeslieJournal of the ACM, 1988-10, Vol.35 (4), p.965-984 [Peer Reviewed Journal]New York, NY: ACMFull text available |
| 7 |
Material Type: Article
|
|
Image Analysis Using Mathematical MorphologyHaralick, Robert M. ; Sternberg, Stanley R. ; Zhuang, XinhuaIEEE transactions on pattern analysis and machine intelligence, 1987-07, Vol.PAMI-9 (4), p.532-550 [Peer Reviewed Journal]Los Alamitos, CA: IEEEFull text available |
| 8 |
Material Type: Article
|
|
The complexity of propositional linear temporal logicsSistla, A ; Clarke, EJournal of the ACM, 1985-07, Vol.32 (3), p.733-749 [Peer Reviewed Journal]New York, NY: ACMFull text available |
| 9 |
Material Type: Article
|
|
Algebraic laws for nondeterminism and concurrencyHennessy, Matthew ; Milner, RobinJournal of the ACM, 1985-01, Vol.32 (1), p.137-161 [Peer Reviewed Journal]New York, NY: ACMFull text available |
| 10 |
Material Type: Article
|
|
Self-adjusting binary search treesSleator, Daniel ; Tarjan, RobertJournal of the ACM, 1985-07, Vol.32 (3), p.652-686 [Peer Reviewed Journal]New York, NY: ACMFull text available |
Results 1 - 10 of 2,515 for General Search
Sorted by:
Sorted by:
RelevanceOr 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
- Full Text Online (2,384)
- Peer-reviewed Journals (1,867)
Refine My Results
Resource Type
- Articles (2,167)
- magazinearticle (346)
- Book Chapters (2)
-
More options
Subject
- Science & Technology (2,479)
- Technology (2,472)
- Computer Science (2,445)
- Computer Science, Hardware & Architecture (2,248)
- Software (1,814)
- Computer Science, Theory & Methods (1,355)
- Computer Science, Software Engineering (1,222)
- Engineering (704)
- Engineering, Electrical & Electronic (697)
- Computer Systems And Distributed Systems. User Interface (655)
- Computer Science, Information Systems (654)
- Theoretical Computing (465)
- Memory Organisation. Data Processing (381)
- Artificial Intelligence (293)
- Algorithmics. Computability. Computer Arithmetics (286)
- Software Engineering (262)
- General And Miscellaneous//mathematics, Computing, And Information Science (254)
-
More options
Creation Date
- Before1983 (1)
- 1983To1983 (337)
- 1984To1984 (427)
- 1985To1986 (765)
- After 1986 (986)
-
More options
Database/Library
- Science Citation Index Expanded (Web of Science) (2,480)
- IEEE Electronic Library (IEL) Journals (813)
- EBSCOhost Computers and Applied Sciences Complete (700)
- Academic OneFile (567)
- Business Source Complete (565)
- ACM Digital Library (557)
- ScienceDirect (Online service) (542)
- Oxford Journals (312)
- Aerospace Database (228)
- EZB-FREE-00999 freely available EZB journals (140)
- ANTE: Abstracts in New Technology & Engineering (134)
- Wiley-Blackwell Full Collection 2013 (101)
- Academic Search Premier (90)
- SpringerLink (83)
- Springer Nature - Springer Journals All 2022 (82)
- IngentaConnect Journals (54)
- Wiley Online Library (53)
- NASA Technical Reports Server (40)
-
More options
Journal Title
- Ieee Transactions On Computers (509)
- Communications Of The Acm (344)
- Computer Journal (312)
- Journal Of The Acm (208)
- Ieee Trans. Comput.; (154)
- Microprocessing And Microprogramming (144)
- Journal Of Computer And System Sciences (138)
- Ibm Journal Of Research And Development (96)
- Iee Proceedings. Part E, Computers And Digital Techniques (70)
- At&t Technical Journal (59)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 