1975 search results - page 270 / 395 » Property analysis and design understanding |
166
click to vote
ICSEA
2006
IEEE
16 years 16 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
147
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
163
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
134
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— We report on the design and stability analysis of a simple quadruped running controller that can autonomously generate steady running with good energy efficiency and suppress ...
178
click to vote
ISMS
2004
Springer
15 years 12 months ago
2004
Springer
A 3D biomechanical model of the tongue is presented here. Its goal is to evaluate the speech control model. This model was designed considering three constraints: speech movement s...