Listing 1 - 10 of 204 | << page >> |
Sort by
|
Choose an application
The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to report on how the disciplines' problems and solution techniques interact within the whole system. ICECCS 2007 focuses long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. Contents: Real-Time Systems; Modeling and Verification; Safety and Security; Context Awareness and Ubiquitous Computing; Formal Languages; Software Architecture; Addressing Complexity with Autonomic Systems; Complex Program Verifier; Advances in the FMICS-jETI Platform for Program Verification; Selected Papers from the UML 2007 & AADL 2007 Workshop.
Choose an application
Annotation VTS 2007 focuses on innovation in the field of testing of integrated circuits and systems. The core of VTS 2007 explores the many trends and challenges in the semiconductor design and manufacturing industries with papers covering a diverse and seminal set of topics including, RF and Analog Test, Delay Test, Memory Test, Diagnosis, Online Test, SOC Test, and Fault Prediction and Evaluation. The proceedings features special sessions and covers innovative practices highlighting cutting-edge challenges faced by test practitioners and innovative solutions. Contents: RF Test; Delay Test Quality; Memory Test; Test Compression; Going after Defects; Online Test; Diagnosis; ATPG for Delay Faults; Advances in Test; Failure Estimation; Fault Prediction & Evaluation; Analog Test; High Level Test Techniques; Memory Repair; SOC Test; Design for Test; Testing Large Chips; Ensuring Secure Chips.
Integrated circuits --- Design and construction --- Very large scale integration
Choose an application
Choose an application
Computer security --- Computers --- Access control
Choose an application
Choose an application
The conference focuses on the growing importance of Large Scale Systems Engineering and provides the platform to share, discuss and witness leading edge research and trends in the development of Smart City Technologies.
Choose an application
Choose an application
Proceedings (see title) held June 1989, Chicago, IL. Comprises 69 papers of interest to researchers in the field. Acidic paper; no index. Annotation copyrighted by Book News, Inc., Portland, OR.
Choose an application
Proceedings of the 5th Annual IEEE Symposium on [title], held in Philadelphia, June 1990. Representative topics include abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Choose an application
Contributors to the 1992 IEEE/ACM Intl. Conference on Computer Aided Design provide in-depth looks at logic synthesis, interconnect and packaging analysis, embedded system design, and software-system architectures. No index. Annotation copyright by Book News, Inc., Portland, OR.
Computer-aided design. --- Electronic circuit design --- Data processing.
Listing 1 - 10 of 204 | << page >> |
Sort by
|