4536 search results - page 701 / 908 » Contention-Sensitive Data Structures and Algorithms |
107
click to vote
ICRA
1994
IEEE
15 years 6 months ago
1994
IEEE
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
150
Voted
IFIP
1992
Springer
15 years 6 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
118
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
99
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
107
click to vote
AIMSA
2006
Springer
15 years 6 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...