1902 search results - page 73 / 381 » Differential Dynamic Logics |
173
click to vote
CLUSTER
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...
126
Voted
DAC
1998
ACM
15 years 9 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
145
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
140
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
∑= += N i firiT 1 0 )( ττ (1) This paper presents a time-domain method for estimating the jitter in ring oscillators that is due to power supply noise. The method is used to a...
163
click to vote
AAAI
1990
15 years 6 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...