113 search results - page 3 / 23 » When Simulation Meets Antichains |
ISARCS
2010
13 years 7 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
WSC
2004
13 years 7 months ago
2004
We develop a hierarchical distributed production planning and control methodology, called DISCS, for a large and unstable semiconductor manufacturing process. The upper layer of D...
VMV
2004
13 years 7 months ago
2004
In this paper we present a technique for rendering and simulating liquid foams in real time using GPUs [11, 12]. The goal is to have bubbles meeting physical properties when inter...
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...