3056 search results - page 465 / 612 » Compiling Embedded Languages |
230
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
258
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
224
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
This paper describes the overall architecture and design aspects of a hybrid relational and XML database system called System RX. We believe that such a system is fundamental in t...
142
Voted
ASPLOS
2009
ACM
15 years 12 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
144
click to vote
IPPS
2009
IEEE
2009
IEEE
Scaling communication-intensive applications on BlueGene/P using one-sided communication and overlap
15 years 11 months ago
In earlier work, we showed that the one-sided communication model found in PGAS languages (such as UPC) offers significant advantages in communication efficiency by decoupling d...