3971 search results - page 631 / 795 » On the Use of Properties in Java Applications |
123
Voted
TVLSI
2008
15 years 5 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
135
Voted
CCE
2004
15 years 4 months ago
2004
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
127
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
Parameterization of a 3D triangular mesh is a fundamental problem in various applications of meshes. The convex combination approach is widely used for parameterization because of...
151
click to vote
CLEIEJ
2002
15 years 4 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
170
click to vote
ML
2000
ACM
15 years 4 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...