119 search results - page 6 / 24 » Predicate Control for Active Debugging of Distributed Progra... |
LOPSTR
2004
Springer
14 years 23 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
IWAN
1999
Springer
13 years 11 months ago
1999
Springer
In this paper, we propose a new framework called Active Network Management and Control (ANMAC) for the management and control of high speed networks. The software architecture in A...