7961 search results - page 1289 / 1593 » Input-Output Model Programs |
156
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
146
click to vote
DFT
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present a memory fault simulator called the Random Access Memory Simulator for Error Screening (RAMSES). Although it was designed based on some wellknown memory ...
158
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
We consider the problem of finding an optimal clock schedule, i.e. optimal arrival times for clock signals at latches of a VLSI chip. We describe a general model which includes al...
137
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
Current manufacturing methods for robotic-controlled assembly rely on accurate positioning to ensure task completion, often through the use of special xtures and precise calibrati...
125
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...