Results 1 - 10 of 15,433 for General Search
Show only
- Peer-reviewed Journals (12,073)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Verifying a logic-synthesis algorithm and implementation: a case study in software verificationAagaard, M. ; Leeser, M.IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
| 2 |
Material Type: Book Chapter
|
|
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D.Correct Hardware Design and Verification Methods, 2003, p.66-80 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 3 |
Material Type: Article
|
|
A framework for superscalar microprocessor correctness statementsAAGAARD, Mark D ; COOK, Byron ; DAY, Nancy A ; JONES, Robert BInternational journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.298-312 [Peer Reviewed Journal]Berlin: SpringerFull text available |
| 4 |
Material Type: Conference Proceeding
|
|
Defining Observation Objectives for Reactive and Distributed SystemsAaltonen, TimoFormal Approaches to Software Testing, 2004, p.101-113 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 5 |
Material Type: Conference Proceeding
|
|
Specifying cash-point with DisCo : The cash-point (ATM) 'problem'AALTONEN, Timo ; KELLOMÄKI, Pertti ; PITKÄNEN, RistoFormal aspects of computing, 2000, Vol.12 (4), p.231-232 [Peer Reviewed Journal]London: SpringerFull text available |
| 6 |
Material Type: Conference Proceeding
|
|
Closed-loop position control system using LabVIEWAaron, K.R. ; Foster, N.L. ; Hazel, D.P. ; Hasanul Basher, A.M.Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283), 2002, p.283-286Piscataway NJ: IEEEFull text available |
| 7 |
Material Type: magazinearticle
|
|
Designing concurrent and distributed control systems : Software patternsAARSTEN, A ; BRUGALI, D ; MENGA, GCommunications of the ACM, 1996, Vol.39 (10), p.50-58New York, NY: Association for Computing MachineryFull text available |
| 8 |
Material Type: Article
|
|
Improving active Mealy machine learning for protocol conformance testing: Special Issue on Grammatical InferenceAARTS, Fides ; KUPPENS, Harco ; TRETMANS, Jan ; VAANDRAGER, Frits ; VERWER, SiccoMachine learning, 2014, Vol.96 (1-2), p.189-224 [Peer Reviewed Journal]Heidelberg: SpringerFull text available |
| 9 |
Material Type: Article
|
|
Text page recognition using Grey-level features and hidden Markov modelsAas, Kjersti ; Eikvil, LinePattern recognition, 1996-06, Vol.29 (6), p.977-985 [Peer Reviewed Journal]Oxford: Elsevier LtdFull text available |
| 10 |
Material Type: Article
|
|
Conjoining specificationsABADI, M ; LAMPORT, LACM transactions on programming languages and systems, 1995-05, Vol.17 (3), p.507-534 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
Results 1 - 10 of 15,433 for General Search
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (12,073)
Refine My Results
Resource Type
- Articles (8,643)
- Conference Proceedings (4,816)
- Book Chapters (1,366)
- magazinearticle (397)
- Books (211)
-
More options
Subject
- Software (15,184)
- Science & Technology (10,288)
- Technology (10,217)
- Computer Science (9,964)
- Computer Science, Software Engineering (6,040)
- Computer Science, Theory & Methods (4,807)
- Computer Systems And Distributed Systems. User Interface (2,358)
- Engineering (2,279)
- Engineering, Electrical & Electronic (1,699)
- Theoretical Computing (1,591)
- Computer Science, Hardware & Architecture (1,497)
- Computer Science, Information Systems (1,478)
- Studies (1,431)
- Memory Organisation. Data Processing (1,410)
- Artificial Intelligence (1,269)
- Programming Languages (1,140)
-
More options
Creation Date
- Before1988 (955)
- 1988To1994 (1,675)
- 1995To2001 (4,503)
- 2002To2009 (6,624)
- After 2009 (1,905)
-
More options
Database/Library
- Science Citation Index Expanded (Web of Science) (9,068)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (4,671)
- SpringerLINK Lecture Notes in Computer Science (2015) (4,653)
- Computers & Applied Sciences Complete (3,661)
- ScienceDirect Journals (3,058)
- IEEE Electronic Library (IEL) Journals (2,577)
- ACM Digital Library (1,922)
- IngentaConnect Journals (1,515)
- IEEE Electronic Library (IEL) Conference Proceedings (1,295)
- ANTE: Abstracts in New Technology & Engineering (1,033)
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals (1,032)
- Springer Online Journals Complete (1,013)
- Gale PowerSearch (962)
- Business Source Complete (942)
- Springer Nature - Springer Journals All 2022 (810)
- Springer Books (676)
- Springer Books Online Archive (675)
- SpringerLink Books Lecture Notes in Computer Science Archive (666)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (649)
- Academic Search Premier (422)
-
More options
Language
- Japanese (449)
- Portuguese (4)
- French (2)
- Spanish (1)
-
More options
Journal Title
- Ieee Transactions On Software Engineering (1,010)
- Ieee Software (616)
- The Journal Of Systems And Software (400)
- Communications Of The Acm (345)
- Sigplan Notices (282)
- Theoretical Computer Science (233)
- Computers In Industry (228)
- Acm Sigplan Notices (212)
- Computer (208)
- International Journal On Software Tools For Technology Transfer (199)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 