Sciweavers

5055 search results - page 2 / 1011
» Relative Timing
Sort
View
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
13 years 11 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...
RSCTC
2000
Springer
140views Fuzzy Logic» more  RSCTC 2000»
13 years 9 months ago
Temporal Templates and Analysis of Time Related Data
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
Piotr Synak
WWW
2008
ACM
14 years 6 months ago
Composite process oriented service discovery in preserving business and timed relation
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
Yu Dai, Lei Yang, Bin Zhang, Kening Gao