4743 search results - page 388 / 949 » The PlusCal Algorithm Language |
134
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
164
Voted
POPL
1999
ACM
15 years 9 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
155
click to vote
GW
2005
Springer
15 years 10 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
141
click to vote
SPAA
1997
ACM
15 years 9 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...
152
click to vote
CIKM
1993
Springer
15 years 9 months ago
1993
Springer
match algorithms that can efficiently handleAbstract complex tests in the presence of large amounts of data. Match algorithms that are capable of handling large amounts of On the o...