1257 search results - page 122 / 252 » Simplifying spline models |
144
Voted
SAS
1999
Springer
15 years 7 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
124
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
117
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
117
Voted
ADAEUROPE
2003
Springer
15 years 7 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
118
click to vote
AIIDE
2007
15 years 5 months ago
2007
This demonstration describes the generation of ambient and latent NPC behavior scripts using generative behavior patterns with ScriptEase. Our behavior model supports behavior rol...