7961 search results - page 586 / 1593 » Input-Output Model Programs |
204
click to vote
PPOPP
2009
ACM
16 years 8 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
206
Voted
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
198
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
213
Voted
IFM
2007
Springer
16 years 1 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
213
click to vote
ICALP
2004
Springer
16 years 25 days ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...