Search Sciweavers | Sciweavers

9267 search results - page 222 / 1854

» Expectation-Oriented Analysis and Design

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

14 years 2 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne, Robert P. Kurs...

claim paper

Read More »

click to vote

ASAP
2000
IEEE

184views Hardware» more ASAP 2000»

Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter

14 years 2 months ago

Download www12.informatik.uni-erlangen.de

Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...

Marcus Bednara, Oliver Beyer, Jürgen Teich, R...

claim paper

Read More »

click to vote

GLVLSI
2000
IEEE

83views VLSI» more GLVLSI 2000»

Design and analysis of efficient application-specific on-line page replacement techniques

14 years 2 months ago

Download www.cs.york.ac.uk

Virgil Andronache, Edwin Hsing-Mean Sha, Nelson L....

claim paper

Read More »

click to vote

ICDCS
2000
IEEE

98views Distributed And Parallel Com...» more ICDCS 2000»

Design and Analysis of Clusters with Single I/O Space

14 years 2 months ago

Download gridsec.usc.edu

Roy S. C. Ho, Kai Hwang, Hai Jin

claim paper

Read More »

click to vote

AOSE
2000
Springer

75views Intelligent Agents» more AOSE 2000»

Organizational Abstractions for the Analysis and Design of Multi-agent Systems

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers