500 search results - page 2 / 100 » Procedure Placement Using Temporal Ordering Information |
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
DATE
2003
IEEE
13 years 11 months ago
2003
IEEE
In today’s deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field prog...
PDC
2004
ACM
13 years 11 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
GVD
2004
13 years 7 months ago
2004
Data with temporal information is constantly generated, sampled, gathered, and analyzed in different domains, such as medicine, finance, engineering, environmental sciences, and e...
TOG
2008
13 years 5 months ago
2008
We present a novel technique for the animation of turbulent fluids by coupling a procedural turbulence model with a numerical fluid solver to introduce subgrid-scale flow detail. ...