581 search results - page 77 / 117 » Translating dependency into parametricity |
DCC
2011
IEEE
13 years 5 months ago
2011
IEEE
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper we explore the use of a set of novel design metrics for characterizing the impact of gate oxide tunneling current in nanometer CMOS devices and perform Monte Carlo s...
SEMCO
2009
IEEE
14 years 4 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
PRDC
2006
IEEE
14 years 4 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— Many medical procedures involve the use of needles, but targeting accuracy can be limited due to obstacles in the needle’s path, shifts in target position caused by tissue de...