527 search results - page 50 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...
IFL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
BMCBI
2006
13 years 8 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
TCAD
2008
13 years 8 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
CDC
2009
IEEE
14 years 19 hour ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...