4770 search results - page 378 / 954 » Flexible Type Analysis |
174
click to vote
APLAS
2004
ACM
16 years 1 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
182
click to vote
NORDICHI
2004
ACM
16 years 1 months ago
2004
ACM
In eye typing systems, a dwell time that adjusts to the user’s natural typing speed is highly desirable. We present an algorithm for on-line adjustment of dwell time developed a...
205
click to vote
TYPES
2004
Springer
16 years 29 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
219
click to vote
VL
1999
IEEE
15 years 12 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
193
click to vote
ER
1998
Springer
15 years 12 months ago
1998
Springer
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...