4979 search results - page 382 / 996 » Batch codes and their applications |
243
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
184
click to vote
TC
1998
15 years 6 months ago
1998
—High instruction cache hit rates are key to high performance. One known technique to improve the hit rate of caches is to minimize cache interference by improving the layout of ...
195
click to vote
PPAM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
137
click to vote
RISE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. How can off-the-shelf editors be reused in applications that need mature editing support? We describe our editor multiplexer which enables interactive, application guided...
175
click to vote
VL
2003
IEEE
16 years 3 days ago
2003
IEEE
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...