2303 search results - page 239 / 461 » Interior-Point Methods in Parallel Computation |
113
click to vote
CLUSTER
2002
IEEE
15 years 9 months ago
2002
IEEE
Supermon is a flexible set of tools for high speed, scalable cluster monitoring. Node behavior can be monitored much faster than with other commonly used methods (e.g., rstatd). ...
143
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
137
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents the definition as well as a number of methods for the solution of a new combinatorial optimization problem, called S-MAMP that has to be solved for the efficie...
131
Voted
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
ation Oriented Action (CO action) is a modelling abstraction for representing collaborative behaviour between objects at different phases of the software development. In this pape...
158
Voted
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...