3028 search results - page 470 / 606 » Integrating Temporal Logics |
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
—The Delay Filtered Dual Interlocked storage Cell (DF-DICE) offers a scalable solution in different radiation environments for soft error mitigation. The area and speed performan...
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
DOCENG
2006
ACM
14 years 3 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...