2468 search results - page 326 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
139
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
115
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
One novel technique for identifying the writer of an online handwritten document is proposed. This technique makes use of a character prototype distribution to model the specific ...
138
click to vote
ICPP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an analytic performance model of a largescale hydrodynamics code developed at Los Alamos National Laboratory. This modeling work is part of an ongoing effort to develop...
139
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
122
click to vote
CW
2004
IEEE
15 years 7 months ago
2004
IEEE
When creating a cel animation, the animators often use 3D character models to add some effects on the character or to generate intermediate images between the key frames. However,...