10159 search results - page 602 / 2032 » System Design Validation Using Formal Models |
257
click to vote
PATMOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
209
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
In heterogeneous distributed systems, such as Grids, a resource broker is responsible of automatically selecting resources, and mapping application tasks to them. A crucial aspect...
159
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Power distribution and signal transmission are becoming key limiters for chip performance in nanometer era. These issues can be simultaneously addressed by designing transmission ...
178
click to vote
FGCS
2006
15 years 7 months ago
2006
In this work we present a predictive analytical model that encompasses the performance and scaling characteristics of a nondeterministic particle transport application, MCNP (Mont...
191
click to vote
ICFEM
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...