29079 search results - page 5540 / 5816 » Design Of Future Systems |
183
click to vote
VEE
2006
ACM
16 years 20 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
190
click to vote
WPES
2006
ACM
16 years 20 days ago
2006
ACM
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
186
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper provides an overview of the Blue Matter application development effort within the Blue Gene project that supports our scientific simulation efforts in the areas of pro...
193
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
199
click to vote
CSB
2005
IEEE
16 years 10 days ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...