4722 search results - page 183 / 945 » Encoding Program Executions |
261
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
146
Voted
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
117
Voted
SMALLTALK
2007
Springer
15 years 11 months ago
2007
Springer
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A ï¬...
180
Voted
DAC
2007
ACM
16 years 6 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
115
click to vote
PARCO
2007
15 years 6 months ago
2007
executions in terms of Eden’s abstract units of computation instead of providing a machineoriented low level view like common tools for parallelism analysis do. We show how typic...