5055 search results - page 79 / 1011 » Relative Timing |
149
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
123
Voted
DAC
1999
ACM
16 years 3 months ago
1999
ACM
This paper describes a novel methodology for high performance asynchronous design based on timed circuits and on CAD support for their synthesis using Relative Timing. This method...
126
Voted
HYBRID
2010
Springer
15 years 16 days ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
89
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
106
Voted
ER
1995
Springer
15 years 6 months ago
1995
Springer
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...