402 search results - page 41 / 81 » Algebraic Properties of Program Integration |
278
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
150
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
145
click to vote
FSEN
2009
Springer
16 years 15 days ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
168
click to vote
IEEEARES
2006
IEEE
15 years 12 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...
153
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...