12050 search results - page 194 / 2410 » Modeling and Simulation |
118
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
126
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
99
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...
117
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
166
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...