1609 search results - page 254 / 322 » A Microeconomic Scheduler for Parallel Computers |
PVM
2007
Springer
14 years 3 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
Data grids, large scale web applications generating dynamic content and database service providing pose significant scalability challenges to database engines. Replication is the ...
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
SODA
2008
ACM
13 years 10 months ago
2008
ACM
This paper presents a multicore-cache model that reflects the reality that multicore processors have both per-processor private (L1) caches and a large shared (L2) cache on chip. ...
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...