1271 search results - page 71 / 255 » On Simulation-Checking with Sequential Systems |
ASAP
2008
IEEE
14 years 3 days ago
2008
IEEE
Arithmetic coding is an efficient entropy compression method that achieves results close to the entropy limit and it is used in modern standards such as JPEG-2000 and H.264. Arith...
IKE
2004
13 years 11 months ago
2004
-. This paper describes the development of N-Codes, a system to deliver current clinical knowledge to the nurse clinician via an off-the-shelf handheld computer using wireless acce...
AICOM
2010
13 years 10 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
MSE
2003
IEEE
14 years 3 months ago
2003
IEEE
A tool has been developed to automate the testing and grading of design projects implemented in reprogrammable hardware. The server allows multiple students to test circuits in FP...
ISLPED
2003
ACM
14 years 3 months ago
2003
ACM
Dual-supply voltage design using a clustered voltage scaling (CVS) scheme is an effective approach to reduce chip power. The optimal CVS design relies on a level converter (LC) im...