Sciweavers

2067 search results - page 220 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
135
Voted
SIGGRAPH
1990
ACM
15 years 6 months ago
Fast animation and control of nonrigid structures
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...
Andrew P. Witkin, William Welch
ICCAD
2006
IEEE
124views Hardware» more  ICCAD 2006»
15 years 11 months ago
Robust system level design with analog platforms
An approach to robust system level mixed signal design is presented based on analog platforms. The bottom-up characterization phase of platform components provides accurate perfor...
Fernando De Bernardinis, Pierluigi Nuzzo, Alberto ...
102
Voted
ICFEM
2007
Springer
15 years 8 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
159
Voted
ISORC
1998
IEEE
15 years 6 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
111
Voted
CEC
2009
IEEE
15 years 9 months ago
Learning area coverage for a self-sufficient colony robot
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...
Gary B. Parker, Richard Zbeda