IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
Efficient load balancing algorithms are the key to many efficient parallel applications. Until now, research in this area has mainly been focusing on homogeneous schemes. Howeve...
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
The real-time scheduling advisor (RTSA) is an entirely userlevel system that an application running on a typical shared, unreserved distributed computing environment can turn to f...
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
This paper presents the implementation, on Virtex FPGAs, of a core generator for arbitrary numeric functions in fixed-point format. The cores use the state-of-theart multipartite...
IPPS
2002
IEEE
14 years 23 days ago
2002
IEEE
This paper investigates the design of parallel algorithmic strategies that address the efficient use of both, memory hierarchies within each processor and a multilevel clustered ...