Search Sciweavers | Sciweavers

5423 search results - page 223 / 1085

» Denial-of-service in automation systems

145

click to vote

DAC
2004
ACM

144views Computer Architecture» more DAC 2004»

Debugging HW/SW interface for MPSoC: video encoder system design case study

16 years 7 months ago

Download tima.imag.fr

Mohamed-Wassim Youssef, Sungjoo Yoo, Arif Sasongko...

claim paper

Read More »

113

click to vote

CADE
2007
Springer

124views Logical Reasoning» more CADE 2007»

The KeY system 1.0 (Deduction Component)

16 years 7 months ago

Download www.steffen-schlager.de

Bernhard Beckert, Martin Giese, Reiner Hähnle...

claim paper

Read More »

113

click to vote

CADE
2005
Springer

101views Logical Reasoning» more CADE 2005»

The MathSAT 3 System

16 years 7 months ago

Download lcs.ios.ac.cn

Marco Bozzano, Roberto Bruttomesso, Alessandro Cim...

claim paper

Read More »

154

click to vote

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

16 years 7 months ago

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

108

click to vote

ECSQARU
2005
Springer

93views Automated Reasoning» more ECSQARU 2005»

Belief Revision of GIS Systems: The Results of REV!GIS

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers