36 search results - page 4 / 8 » Reasoning about Hierarchies of Online Program Specialization... |
103
click to vote
IADIS
2004
15 years 7 months ago
2004
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
275
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
140
click to vote
VMCAI
2007
Springer
16 years 1 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
162
click to vote
WWW
2006
ACM
15 years 12 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
166
click to vote
MICRO
2006
IEEE
15 years 12 months ago
2006
IEEE
We introduce virtually-pipelined memory, an architectural technique that efficiently supports high-bandwidth, uniform latency memory accesses, and high-confidence throughput eve...