1564 search results - page 37 / 313 » Extensions to the Estimation Calculus |
122
Voted
CUZA
2002
15 years 4 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. ...
129
Voted
JSCIC
2010
14 years 11 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...
105
click to vote
PLDI
2009
ACM
15 years 11 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...
145
click to vote
IEEEARES
2006
IEEE
15 years 11 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...
131
Voted
ESOP
2008
Springer
15 years 6 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...