36320 search results - page 214 / 7264 » From Code to Models |
149
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
178
click to vote
ATMN
1996
15 years 7 months ago
1996
This paper intends to study the characteristics of VBR MPEG sources and performs models for their traffic behaviour. Our analysis focuses on long-time MPEG video films, approximat...
141
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
An error corruption model (ECM) to describe the interframe error propagation phenomenon in a motion-compensated predictive video codec using fluid flow characteristics is proposed...
160
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
170
click to vote
GEM
2007
15 years 8 months ago
2007
We present a method for searching for achordal open paths (snakes) in n-dimensional hypercube graphs (the box). Our technique first obtains a set of exemplary snakes using an evo...