1451 search results - page 141 / 291 » Case Studies in Model Manipulation for Scientific Computing |
136
Voted
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...
138
click to vote
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...
150
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
131
click to vote
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
103
click to vote
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Two main theories of female mate choice, that females either pick the best from the n closest males (best-of-n) or the closest with some minimum quality (min-threshold), make diffe...