10707 search results - page 1854 / 2142 » Designing executable abstractions |
207
click to vote
VMCAI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
183
click to vote
WABI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Genomic instabilities, amplifications, deletions and translocations are often observed in tumor cells. In the process of cancer pathogenesis cells acquire multiple genom...
172
click to vote
WAIM
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Web caching plays an important role in many network services. Utilization of the cache in each level (server, proxy, and client) of network forms a web caching hierarchy....
187
click to vote
WCW
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. A wide range of techniques have been proposed, implemented, and even standardized for improving the performance of Web content delivery. However, previous work has found ...
217
click to vote
CISIS
2010
IEEE
16 years 15 days ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...