1147 search results - page 153 / 230 » Termination in language-based systems |
120
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
107
Voted
IFL
2003
Springer
15 years 5 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
109
click to vote
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
Virtual Organization Clusters are systems comprised of virtual machines that provide dedicated computing clusters for each individual Virtual Organization. The design of these clu...
102
click to vote
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...