6102 search results - page 100 / 1221 » Generating Optimizing Specializers |
TOG
2002
13 years 8 months ago
2002
Rendering performance of consumer graphics hardware benefits from pre-processing geometric data into a form targeted to the underlying API and hardware. The various elements of ge...
GECCO
1999
Springer
14 years 1 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
DATE
1997
IEEE
14 years 1 months ago
1997
IEEE
A structural, fault-model based methodology for the generation of compact high-quality test sets for analog macros is presented. Results are shown for an IVconverter macro design....
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper aims at exploring the role of the product generation life cycle (PGLC) on differences in innovation strategy among industries in a crossindustry study of ten multinatio...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...