557 search results - page 51 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
101
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
GECCO
2006
Springer
15 years 1 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...
MEMOCODE
2010
IEEE
14 years 7 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
SEUS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a framework that supports user-friendly configuration of a new location sensor system and its automatic integration with a location manager. The framework abstracts out...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract—We present a silicon neuron with a dynamic, active leak that enables precise spike-timing with respect to a time-varying input signal. Our neuron models the mammalian bu...