419 search results - page 24 / 84 » A Thread of HOL Development |
PPPJ
2009
ACM
15 years 6 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
103
click to vote
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
—This paper extends the lifting-based motion threading technique from the frame-based coding to the object-based coding, attracted by the unique advantages of the object-based co...
JIT
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
IEEEINTERACT
2003
IEEE
15 years 5 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
FOSAD
2009
Springer
15 years 3 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...