5451 search results - page 941 / 1091 » Typed Operational Semantics |
132
Voted
IRREGULAR
1995
Springer
15 years 7 months ago
1995
Springer
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...
108
Voted
UIST
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a new set of interactive techniques for 2D and 3D visualizations. This set of techniques is called SDM (Selective Dynamic Manipulation). Selective, indica...
142
Voted
FLAIRS
2008
15 years 6 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
129
Voted
WSC
2007
15 years 6 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
120
Voted
WSC
2008
15 years 6 months ago
2008
Recent advances in high-performance computing have pushed computational capabilities to a petaflop (a thousand trillion operations per second) in a single computing cluster. This ...