Search Sciweavers | Sciweavers

12745 search results - page 321 / 2549

» Automating test automation

132

click to vote

CADE
2008
Springer

128views Logical Reasoning» more CADE 2008»

Challenges in the Automated Verification of Security Protocols

16 years 7 months ago

Download www.lsv.ens-cachan.fr

Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.

Hubert Comon-Lundh

claim paper

Read More »

140

click to vote

MSE
1999
IEEE

110views Hardware» more MSE 1999»

Active Learning in an Electronic Design Automation Course

15 years 11 months ago

Download www.ece.uprm.edu

This paper summarizes the rationale behind revision of an electronic design automation course and the resulting learning objectives and course model. Early experiences are highlig...

Diane T. Rover, Nayda G. Santiago, Mel M. Tsai

claim paper

Read More »

131

click to vote

DAC
1998
ACM

133views Computer Architecture» more DAC 1998»

Automated Composition of Hardware Components

16 years 7 months ago

Download si2.epfl.ch

James Smith, Giovanni De Micheli

claim paper