682 search results - page 68 / 137 » Java Implementation Verification Using Reverse Engineering |
108
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
127
click to vote
SIGIR
2011
ACM
14 years 4 months ago
2011
ACM
Search engine switching is the voluntary transition between Web search engines. Engine switching can occur for a number of reasons, including user dissatisfaction with search resu...
117
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
143
click to vote
CL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
102
click to vote
MICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...