Sciweavers

3463 search results - page 471 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
HASKELL
2006
ACM
16 years 13 days ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
PRDC
2006
IEEE
16 years 14 days ago
Towards Timely ACID Transactions in DBMS
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
Marco Vieira, António Casimiro Costa, Henri...
CGO
2009
IEEE
16 years 1 months ago
Techniques for Region-Based Register Allocation
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
Ivan D. Baev
RIDE
1998
IEEE
15 years 10 months ago
A Scalable Approach to Continuous-Media Processing
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
Dragos-Anton Manolescu, Klara Nahrstedt
DEBS
2007
ACM
15 years 10 months ago
Towards a theory of events
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
K. Mani Chandy, Michel Charpentier, Agostino Cappo...