4306 search results - page 274 / 862 » Timed Testing with TorX |
111
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
129
click to vote
ICRA
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper provides an overview of our selection process for proximity sensors for manipulator collision avoidance. Five categories of sensors have been considered for this use in...
123
click to vote
DAC
1990
ACM
15 years 7 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
140
click to vote
PET
2010
Springer
15 years 7 months ago
2010
Springer
We explore how Private Information Retrieval (PIR) can help users keep their sensitive information from being leaked in an SQL query. We show how to retrieve data from a relational...
131
click to vote
AISC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...