2943 search results - page 185 / 589 » Software Implementation of Synchronous Programs |
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
114
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
158
click to vote
ICS
2007
Tsinghua U.
15 years 9 months ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
132
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
133
Voted
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...