IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
Planning is an artificial intelligence problem with a wide range of real-world applications. Genetic algorithms, neural networks, and simulated annealing are heuristic search met...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
Gene clustering, the process of grouping related genes in the same cluster, is at the foundation of different genomic studies that aim at analyzing the function of genes. Microarr...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
— We consider the problem of maintaining routing paths between nodes in a dynamic network. Gafni and Bertsekas proposed a link reversal approach called the BG method that maintai...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
Today, in many practical E-Commerce systems, the real stored data usually are short strings, such as names, addresses, or other information. Searching data within these short stri...
IPPS
2003
IEEE
2003
IEEE
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
14 years 5 months ago
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
The dynamic nature of a resource-sharing environment means that applications must be able to adapt their behavior in response to changes in system status. Predictions of future sy...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
In this paper we present an algorithm for scheduling parallel applications that consist of a divisible workload. Our algorithm uses multiple rounds to overlap communication and co...
IPPS
2003
IEEE
14 years 5 months ago
2003
IEEE
