4889 search results - page 433 / 978 » A Refactoring Approach to Parallelism |
152
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
135
Voted
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
151
Voted
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Data-intensive, interactive applications are an important class of metacomputing (Grid) applications. They are characterized by large, time-varying data flows between data provid...
139
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
The work described here introduces a practical and accurate tool for predicting power consumption for FPGA circuits. The utility of the tool is that it enables FPGA circuit designe...
169
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...