118 search results - page 19 / 24 » Branching-Time Property Preservation Between Real-Time Syste... |
DAC
1996
ACM
14 years 1 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
PTS
2008
13 years 11 months ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
ANCS
2006
ACM
14 years 3 months ago
2006
ACM
Load balancing in packet-switched networks is a task of ever-growing importance. Network traffic properties, such as the Zipf-like flow length distribution and bursty transmissio...
SGP
2004
14 years 21 hour ago
2004
Surface editing operations commonly require geometric details of the surface to be preserved as much as possible. We argue that geometric detail is an intrinsic property of a surf...