22 search results - page 1 / 5 » Static Scheduling of Multi-Domain Memories For Functional Ve... |
ICCAD
2001
IEEE
14 years 1 months ago
2001
IEEE
TCAD
2002
13 years 4 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
DAC
2001
ACM
14 years 5 months ago
2001
ACM
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
- Processor scheduling in distributed-memory systems has received considerable attention in recent years. Several commercial distributed-memory systems use spacesharing processor s...
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 2 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...