3889 search results - page 410 / 778 » The Use of Program Dependence Graphs in Software Engineering |
209
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
179
click to vote
ISPASS
2005
IEEE
16 years 9 days ago
2005
IEEE
Simulation-based microarchitecture research is often hindered by the slow speed of simulators. In this work, we propose a novel statistical technique to identify highly representa...
160
click to vote
PPOPP
2005
ACM
16 years 9 days ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
163
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
164
click to vote
AICCSA
2006
IEEE
16 years 24 days ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...