4000 search results - page 545 / 800 » Simulation down under |
208
click to vote
RTA
2005
Springer
16 years 5 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
189
click to vote
WABI
2005
Springer
16 years 5 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
161
click to vote
ASPDAC
2004
ACM
16 years 3 days ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
159
click to vote
GRAPHITE
2004
ACM
16 years 3 days ago
2004
ACM
Ruled surface design and its applications are widely used in CAGD (Computer Aid Geometric Design) and industrial areas. In this paper, the cone is a particular ruled surface, whic...
193
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
A novel solution to the reliable multicast problem is the “digital fountain” approach, in which data is encoded with an erasure protection code before transmission, and receiv...