139
Voted
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
124
Voted
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
106
Voted
COMPGEOM
2000
ACM
15 years 7 months ago
2000
ACM
COMPGEOM
2000
ACM
15 years 7 months ago
2000
ACM
128
Voted
COMPGEOM
2000
ACM
15 years 7 months ago
2000
ACM
The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparis...