Search Sciweavers | Sciweavers

17505 search results - page 164 / 3501

» Use Cases as Workflows

121

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

15 years 10 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 »

121

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 10 months ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

107

click to vote

APSEC
2003
IEEE

124views Software Engineering» more APSEC 2003»

Security-Critical System Development with Extended Use Cases

15 years 10 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

15 years 10 months ago

Download www.cl.cam.ac.uk

John Harrison

claim paper

Read More »

120

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers