4745 search results - page 258 / 949 » Discretization: An Enabling Technique |
176
click to vote
APPINF
2003
15 years 8 months ago
2003
This paper presents a new technique of recovery for object-based Distributed Shared Memory (DSM) systems. The new technique, integrated with a coherence protocol for atomic consis...
232
Voted
ICDE
2000
IEEE
16 years 8 months ago
2000
IEEE
We demonstrate a prototype toolkit that uses constraints and constraint violation repair techniques to enable the automated detection and, where possible, the automated resolution...
155
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
124
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract—This paper introduces a positive-feedback selfbiasing technique for operational amplifiers (op-amps) which enables their power consumption to adapt to their environment:...
152
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— The last decade, sampling based planners like the Probabilistic Roadmap Method have proved to be successful in solving complex motion planning problems. We give a reachability ...