Search Sciweavers | Sciweavers

4457 search results - page 38 / 892

» Tests of Machine Intelligence

click to vote

ICDCS
2007
IEEE

174views Distributed And Parallel Com...» more ICDCS 2007»

Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach

14 years 4 months ago

Download www.cse.ohio-state.edu

Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...

Guoqiang Shu, David Lee

claim paper

Read More »

click to vote

ICTAI
2000
IEEE

80views Artificial Intelligence» more ICTAI 2000»

A genetic algorithm-based system for generating test programs for microprocessor IP cores

14 years 2 months ago

Download dit.upc.es

Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...

claim paper

Read More »

click to vote

CEC
2008
IEEE

110views Artificial Intelligence» more CEC 2008»

Analysis and extension of the Inc* on the satisfiability testing problem

13 years 12 months ago

Download www-staff.lboro.ac.uk

Mohamed Bahy Bader-El-Den, Riccardo Poli

claim paper

Read More »

click to vote

KI
2010
Springer

128views Artificial Intelligence» more KI 2010»

A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages

13 years 8 months ago

Download agrosy.informatik.uni-kl.de

Martin Proetzsch, Fabian Zimmermann, Robert Eschba...

claim paper

Read More »

click to vote

TVLSI
2010

111views Artificial Intelligence» more TVLSI 2010»

X-Filling for Simultaneous Shift- and Capture-Power Reduction in At-Speed Scan-Based Testing

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers