2623 search results - page 268 / 525 » tools 2010 |
109
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
157
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
183
click to vote
IV
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
159
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
164
click to vote
MEMOCODE
2010
IEEE
15 years 3 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...