Search Sciweavers | Sciweavers

17789 search results - page 124 / 3558

» Exceptional Use Cases

AMAI
2004
Springer

139views Artificial Intelligence» more AMAI 2004»

Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors

14 years 3 months ago

Download rutcor.rutgers.edu

The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...

Miroslav N. Velev

claim paper

Read More »

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

14 years 3 months ago

Download www.tik.ee.ethz.ch

Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...

claim paper

Read More »

click to vote

APSEC
2003
IEEE

124views Software Engineering» more APSEC 2003»

Security-Critical System Development with Extended Use Cases

14 years 3 months ago

Download www4.in.tum.de

Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...

claim paper

Read More »

click to vote

ARITH
2003
IEEE

89views Applied Computing» more ARITH 2003»

Isolating Critical Cases for Reciprocals Using Integer Factorization

14 years 3 months ago

Download www.cl.cam.ac.uk

John Harrison

claim paper

Read More »

click to vote

HICSS
2003
IEEE

124views Biometrics» more HICSS 2003»

Exploring the Impacts of Knowledge (Re)Use and Organizational Memory on the Effectiveness of Strategic Decisions: A Longitudinal

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers