35 search results - page 4 / 7 » Translating keyword commands into executable code |
223
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
217
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
146
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
156
click to vote
IJIT
2004
15 years 7 months ago
2004
Developers need to evaluate software's performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system ...
179
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily...