Sciweavers

2740 search results - page 194 / 548
» Typing the Specialization Interface
Sort
View
SIGGRAPH
1993
ACM
15 years 8 months ago
Leo: a system for cost effective 3D shaded graphics
A physically compact, low cost, high performance 3D graphics accelerator is presented. It supports shaded rendering of triangles and antialiased lines into a double-buffered 24-bi...
Michael F. Deering, Scott R. Nelson
KR
1992
Springer
15 years 8 months ago
Reasoning About Indefinite Actions
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
L. Thorne McCarty, Ron van der Meyden
EUROMICRO
2004
IEEE
15 years 7 months ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
IRREGULAR
1995
Springer
15 years 7 months ago
Run-Time Parallelization of Irregular DOACROSS Loops
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
V. Prasad Krothapalli, Thulasiraman Jeyaraman, Mar...
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 4 months ago
Negotiation in collaborative assessment of design solutions: an empirical study on a Concurrent Engineering process
In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotia...
Géraldine Martin, Françoise Dé...