457 search results - page 44 / 92 » Distributed verification with LoLA |
ACSD
1998
IEEE
13 years 12 months ago
1998
IEEE
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
ICCAD
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
FCCM
2004
IEEE
13 years 11 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...
VL
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...