2500 search results - page 146 / 500 » Specifying Behavior in C |
140
Voted
SIGGRAPH
1990
ACM
15 years 7 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
117
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
134
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
109
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
148
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...