1564 search results - page 37 / 313 » Extensions to the Estimation Calculus |
CUZA
2002
15 years 1 months ago
2002
This paper presents an extension of a performance evaluation library called Fast to handle parallel routines. Fast is a dynamic performance forecasting tool in a grid environment. ...
JSCIC
2010
14 years 8 months ago
2010
A new way of devising numerical methods is introduced whose distinctive feature is the computation of a finite element approximation only in a polyhedral subdomain D of the origina...
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
110
click to vote
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
100
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...