1008 search results - page 86 / 202 » A cis-regulatory logic simulator |
155
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
We have developed a new statistical timing analysis approach that does not impose any assumptions on the nature of manufacturing variability and takes into account an arbitrary mo...
153
click to vote
WSC
1998
15 years 7 months ago
1998
Continuous or high-speed manufacturing equipment is an integral part of the food and beverage, pharmaceutical, and consumer products industries. For many years, these industries h...
138
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Our program benchmarks and simulations of novel circuits indicate that large-window processors are feasible. Using our redesigned superscalar components, a large-window processor ...
175
click to vote
QEST
2008
IEEE
16 years 20 days ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
160
click to vote
FORMATS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...