7557 search results - page 543 / 1512 » Modeling Timed Concurrent Systems |
164
click to vote
HPDC
2005
IEEE
16 years 18 days ago
2005
IEEE
Mega grids span several continents and may consist of millions of nodes and billions of tasks executing at any point in time. This setup calls for scalable and highly available re...
175
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
Traditional le system implementations do not allow applications to control le caching replacement decisions. We have implemented two-level replacement, a scheme that allows appl...
234
click to vote
COMAD
2009
15 years 8 months ago
2009
Stream grids are wide-area grid computing environments that are fed by a set of stream data sources. Such grids are becoming more wide-spread due to the large scale deployment of ...
170
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
249
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...