52 search results - page 6 / 11 » Towards an Algebraic Specification of the Java Virtual Machi... |
100
click to vote
KBSE
2000
IEEE
15 years 1 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
79
Voted
JTRES
2010
ACM
14 years 9 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
74
Voted
IWMM
2000
Springer
15 years 1 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
VEE
2006
ACM
15 years 3 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
85
Voted
IQ
2003
14 years 11 months ago
2003
We introduce ClueMaker, the first language designed specifically for approximate record matching. Clues written in ClueMaker predict whether two records denote the same thing based...