3256 search results - page 560 / 652 » Applications of Formal Methods to System Design and Verifica... |
101
click to vote
ML
2000
ACM
14 years 9 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
EWC
2002
14 years 9 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
CASES
2006
ACM
15 years 1 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
107
click to vote
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locatio...
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
As cluster computers are used for a wider range of applications, we encounter the need to deliver resources at particular times, to meet particular deadlines, and/or at the same t...