3256 search results - page 443 / 652 » Applications of Formal Methods to System Design and Verifica... |
201
click to vote
JCSC
2002
15 years 5 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
172
click to vote
GEOINFO
2003
15 years 6 months ago
2003
A new topic of great relevance and concern has been the design of efficient early warning systems to detect as soon as possible the emergence of spatial clusters. In particular, m...
152
click to vote
GLOBAL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
184
click to vote
DKE
2002
15 years 5 months ago
2002
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
131
click to vote
FM
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...