508 search results - page 80 / 102 » RPC in the x-Kernel: Evaluating New Design Techniques |
140
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
134
click to vote
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Modern computer systems have been built around the assumption that persistent storage is accessed via a slow, block-based interface. However, new byte-addressable, persistent memo...
SASO
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
OTM
2010
Springer
14 years 10 months ago
2010
Springer
Recently, mashups have emerged as an important class of Web 2.0 collaborative applications. Mashups can be conceived as personalized Web services which aggregate and manipulate dat...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...