1569 search results - page 196 / 314 » Using Organic Computing to Control Bunching Effects |
136
click to vote
TODAES
1998
15 years 5 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
152
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
– Audio scrambling can be employed in audio distribution for the purpose of guaranteeing the confidentiality. Electronic commerce in audio products would be facilitated by the de...
210
click to vote
LCTRTS
2000
Springer
15 years 9 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
158
click to vote
SIGGRAPH
1991
ACM
15 years 9 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
154
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...