1120 search results - page 19 / 224 » time 1999 |
166
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
145
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper considers the problem of scheduling Real Time applications on a general-purpose Operating System. The approach taken is to modify a mainstream system, in order to reali...
146
click to vote
ARITH
1999
IEEE
15 years 10 months ago
1999
IEEE
This note presents necessary and sufficient conditions for parallel and constant time conversions from one digit-set into another, and thus also for constant time addition. In the...
140
click to vote
ICCD
1999
IEEE
15 years 10 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
121
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
We present a timing optimization algorithm based on the concept of gate duplication on the technologydecomposed network. We first examine the relationship between gate duplication...