6111 search results - page 144 / 1223 » Time, Hardware, and Uniformity |
ATS
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...
SEUS
2007
IEEE
14 years 4 months ago
2007
IEEE
The hardware infrastructure that provides the support of ubiquitous embedded computing may be shared by different applications. Many of those applications have real-time requireme...
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
Efficient iterative time preconditioners for Krylovbased harmonic balance circuit simulators are proposed. Some numerical experiments assess their performance relative to the well...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Execution time estimation of software at source-level is nowadays a crucial phase of the system design flow, especially for portable devices and real-time systems. From a source-...