1973 search results - page 101 / 395 » The Construction of Ludic Space |
155
click to vote
FOCS
1996
IEEE
15 years 10 months ago
1996
IEEE
A common subproblem of DNF approximate counting and derandomizing RL is the discrepancy problem for combinatorial rectangles. We explicitly construct a poly(n)-size sample space t...
156
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
139
click to vote
IMAMS
2007
15 years 7 months ago
2007
This paper considers error propagation in three dimensional geometric constructions using a geometric approach. First, we present definitions and constructions of tolerance zones ...
140
click to vote
VTS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...
157
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...