15779 search results - page 2727 / 3156 » Change-oriented software engineering |
147
Voted
EUROSYS
2007
ACM
16 years 22 days ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...
112
Voted
EUROSYS
2007
ACM
16 years 22 days ago
2007
ACM
Hypervisors, popularized by Xen and VMware, are quickly becoming commodity. They are appropriate for many usage scenarios, but there are scenarios that require system virtualizatio...
128
Voted
EUROSYS
2006
ACM
16 years 22 days ago
2006
ACM
Actions usually taken to prevent processors from overheating, such as decreasing the frequency or stopping the execution flow, also degrade performance. Multiprocessor systems, h...
134
Voted
EUROSYS
2006
ACM
16 years 22 days ago
2006
ACM
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...
164
Voted
PLPV
2009
ACM
16 years 15 days ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...