1451 search results - page 132 / 291 » Case Studies in Model Manipulation for Scientific Computing |
149
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
133
click to vote
COMGEO
2004
ACM
15 years 4 months ago
2004
ACM
We show it is possible to tile three-dimensional space using only tetrahedra with acute dihedral angles. We present several constructions to achieve this, including one in which a...
149
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
129
click to vote
WSC
1998
15 years 6 months ago
1998
Simulation is widely used for performance analysis of Personal Communication Systems due to their inherent complexity. However, resource demands (cpu-time and memory requirements)...
147
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...