17983 search results - page 207 / 3597 » Set Types and Applications |
156
click to vote
FPL
2000
Springer
2000
Springer
Reconfigurable Computing between Classifications and Metrics - The Approach of Space/Time-Scheduling
15 years 10 months ago
Abstract. Reconfigurable computing receives its merits from scheduling timebased into space-based execution. This paper reviews some common parameters and introduces an additional ...
175
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Intelligibility can help expose the inner workings and inputs of context-aware applications that tend to be opaque to users due to their implicit sensing and actions. However, use...
182
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
145
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
181
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...