3168 search results - page 560 / 634 » Design, implementation and evaluation of a virtual storage s... |
249
click to vote
ECSA
2011
Springer
14 years 5 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
174
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we present results from our empirical evaluations of a workspace awareness tool that we designed and implemented to augment the functionality of software configurat...
283
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
168
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Abstract. The paper discusses the design and prototype implementation of a QoS-aware multimedia database system. Recent research in multimedia databases has devoted little attentio...
203
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Good network hardware performance is often squandered by overheads for accessing the network interface (NI) within a host. NIs that support user-level messaging avoid frequent ope...