1179 search results - page 52 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
125
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Genetic Parallel Programming (GPP) is a novel Genetic Programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system in...
123
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
137
Voted
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
138
click to vote
PODS
1990
ACM
15 years 7 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
107
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, an analog implementation of the Wavelet Transform (WT) is presented. The circuit is based on the Dynamic Translinear (DTL) circuit technique and implements, by mean...