510 search results - page 25 / 102 » Runtime Prediction of Real Programs on Real Machines |
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
89
Voted
SC
1994
ACM
15 years 1 months ago
1994
ACM
In adaptive irregular problems the data arrays are accessed via indirection arrays, and data access patterns change during computation. Implementingsuch problems ondistributed mem...
JSSPP
2005
Springer
15 years 3 months ago
2005
Springer
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...
PAAPP
2002
14 years 9 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...