1760 search results - page 307 / 352 » A System to Mark Programs Automatically |
151
click to vote
TCAD
2010
14 years 9 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
151
Voted
TOG
2012
13 years 5 months ago
2012
We present a physically-based system to simulate and control the locomotion of soft body characters without skeletons. We use the finite element method to simulate the deformatio...
110
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
112
Voted
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
152
Voted
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...