2036 search results - page 119 / 408 » A generic type-and-effect system |
111
click to vote
RIAO
2000
15 years 2 months ago
2000
We present sppc, a high-performance system for intelligent text extraction and navigation from German free text documents. sppc consists of a set of domainindependent shallow core...
112
Voted
TC
2011
14 years 7 months ago
2011
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...
115
click to vote
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
75
Voted
ICALT
2005
IEEE
15 years 6 months ago
2005
IEEE
Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
107
click to vote
DAC
1995
ACM
15 years 4 months ago
1995
ACM
The paper describes the evolution of an Interdisciplinary Concurrent Design Methodology (ICDM) and the metrics used to compare four generations of wearable computer artifacts prod...