3898 search results - page 372 / 780 » Maintaining Component-Based Systems |
163
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
110
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
FUSE is a lightweight failure notification service for building distributed systems. Distributed systems built with FUSE are guaranteed that failure notifications never fail. When...
227
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
This paper describes query processing in the DBO database system. Like other database systems designed for ad-hoc, analytic processing, DBO is able to compute the exact answer to ...
137
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
Adaptive, or self-aware, computing has been proposed to help application programmers confront the growing complexity of multicore software development. However, existing approache...
127
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...