2364 search results - page 269 / 473 » An Engine for Computing Well-Founded Models |
164
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
161
click to vote
VRML
1999
ACM
15 years 10 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...
193
Voted
EGICE
2006
15 years 9 months ago
2006
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...
161
click to vote
COORDINATION
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
201
click to vote
SLIP
2009
ACM
16 years 17 days ago
2009
ACM
Individual dies in 3D integrated circuits are connected using throughsilicon-vias (TSVs). TSVs not only increase manufacturing cost, but also incur silicon area, delay, and power ...