1008 search results - page 38 / 202 » A cis-regulatory logic simulator |
PERCOM
2009
ACM
14 years 9 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
HICSS
1994
IEEE
14 years 24 days ago
1994
IEEE
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
ISMB
1998
13 years 10 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...