9626 search results - page 1669 / 1926 » Invariant Based Programming |
136
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
191
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
As the CMOS technology enters the deep submicron design era, the lateral inter-wire coupling capacitance becomes the dominant part of load capacitance and makes RC delay on the bu...
181
click to vote
DFT
1999
IEEE
15 years 11 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 ...
170
click to vote
VRML
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...
170
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Distributed Open Inventor is an extension to the popular Open Inventor toolkit for interactive 3D graphics. The toolkit is extended with the concept of a distributed shared scene ...