4036 search results - page 48 / 808 » Formal Methods |
111
click to vote
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
102
click to vote
SIGSOFT
2010
ACM
15 years 8 days ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
111
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
109
click to vote
FLAIRS
2008
15 years 4 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
105
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...