Sciweavers

3754 search results - page 582 / 751
» Process modeling paradigms: an evaluation
Sort
View
ASPLOS
2000
ACM
15 years 10 months ago
FLASH vs. (Simulated) FLASH: Closing the Simulation Loop
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
Jeff Gibson, Robert Kunz, David Ofelt, Mark Heinri...
SIGGRAPH
2000
ACM
15 years 10 months ago
Displaced subdivision surfaces
In this paper we introduce a new surface representation, the displaced subdivision surface. It represents a detailed surface model as a scalar-valued displacement over a smooth do...
Aaron W. F. Lee, Henry P. Moreton, Hugues Hoppe
AH
2000
Springer
15 years 10 months ago
ACE - Adaptive Courseware Environment
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
Marcus Specht
ISPD
1999
ACM
95views Hardware» more  ISPD 1999»
15 years 10 months ago
Incremental capacitance extraction and its application to iterative timing-driven detailed routing
In this paper, we consider delay optimization in multilayer detailed routing. Given a detailed routing by some detailed router, we iteratively improve the delays of critical nets ...
Yanhong Yuan, Prithviraj Banerjee
KBSE
1997
IEEE
15 years 10 months ago
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
Johann Schumann, Bernd Fischer 0002