Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 204 | << page >> |
Sort by
|
Book
ISBN: 0769528953 150908858X Year: 2007 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Book
ISBN: 0769528120 1509090495 Year: 2007 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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
Book
ISBN: 0769530621 1509088458 Year: 2007 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0769530605 1509087338 Year: 2007 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer security --- Computers --- Access control
Book
ISBN: 0769528708 1509088717 Year: 2007 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 1467397784 1467397776 Year: 2015 Publisher: Piscataway, NJ : IEEE,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Book
ISBN: 1665420650 1665406038 Year: 2021 Publisher: [Place of publication not identified] : Institute of Electrical and Electronics Engineers Computer Society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1989 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Book
Year: 1990 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Book
Year: 1992 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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
|