1397 search results - page 231 / 280 » On the Need for Practical Formal Methods |
ISCA
2003
IEEE
14 years 1 months ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
SAC
2003
ACM
14 years 29 days ago
2003
ACM
In this paper, we propose a manpower allocation model with time windows which is of practical interest to serviceman scheduling operations. Specifically, this problem originates f...
EUROCRYPT
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
DSN
2002
IEEE
14 years 20 days ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
KBSE
2002
IEEE
14 years 19 days ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...