1105 search results - page 49 / 221 » From Languages to Systems: Understanding Practical Applicati... |
USENIX
2008
13 years 10 months ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...
AIR
2006
13 years 7 months ago
2006
Simulation motion of Virtual Reality (VR) objects and humans has experienced1 important developments in the last decade. However, realistic virtual human animation gen-2 eration re...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
FM
2009
Springer
14 years 2 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...