2407 search results - page 445 / 482 » A Tool for Abstraction in Model Checking |
PATMOS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The continuous miniaturization of semiconductor devices imposes serious threats to design robustness against process variations and environmental fluctuations. Modern ci...
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
AINA
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
ISCC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identiï¬...