1523 search results - page 136 / 305 » Partially ordered secretaries |
117
Voted
EDBT
1992
ACM
15 years 4 months ago
1992
ACM
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...
86
Voted
REX
1989
15 years 4 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
117
click to vote
COCOON
2006
Springer
15 years 4 months ago
2006
Springer
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g : {0, 1}4k+1 {0, 1, } so tha...
96
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...
118
Voted
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...