Search Sciweavers | Sciweavers

22018 search results - page 268 / 4404

» or 2004

125

click to vote

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 11 months ago

Download www.fit.vutbr.cz

Daniel Mika, Josef Strnadel, Kotásek Zdenik

claim paper

Read More »

133

click to vote

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 11 months ago

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

144

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 11 months ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

109

click to vote

ISPA
2004
Springer

89views Distributed And Parallel Com...» more ISPA 2004»

Challenges in P2P Computing

15 years 11 months ago

Download www.comp.polyu.edu.hk

Lionel M. Ni

claim paper

Read More »

103

click to vote

ISPA
2004
Springer

91views Distributed And Parallel Com...» more ISPA 2004»

On the Job Distribution in Random Brokering for Computational Grids

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers