1081 search results - page 190 / 217 » CODES: An Integrated Approach to Composable Modeling and Sim... |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
ISARCS
2010
13 years 9 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
In radar, when the wavelength of the transmitted electromagnetic wave is considerably larger than the dimension of the antenna, the received signal is modeled as the integral of t...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Energy efficiency is a fundamental issue for outdoor sensor network systems. This paper presents the design and implementation of multi-dimensional power management st...