7430 search results - page 285 / 1486 » Programming Applications in CIFF |
197
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
175
click to vote
DASIP
2010
14 years 11 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
140
click to vote
COGSR
2011
14 years 11 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
150
click to vote
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
160
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structur...