441 search results - page 1 / 89 » Refinement of Time |
108
Voted
ENTCS
2008
15 years 23 days ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
104
Voted
SODA
2004
ACM
15 years 2 months ago
2004
ACM
In this paper we present a Delaunay refinement algorithm for generating good aspect ratio and optimal size triangulations. This is the first algorithm known to have sub-quadratic ...
101
click to vote
FM
1994
Springer
15 years 4 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
ATS
2000
IEEE
15 years 5 months ago
2000
IEEE