16190 search results - page 150 / 3238 » Applicative programming with effects |
112
Voted
CSSE
2002
IEEE
15 years 2 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
108
Voted
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
133
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
In writing parallel programs, programmers expose parallelism and optimize it to meet a particular performance goal on a single platform under an assumed set of workload characteri...
137
click to vote
SOSP
1989
ACM
15 years 3 months ago
1989
ACM
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
121
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...