Search Sciweavers | Sciweavers

14190 search results - page 189 / 2838

» Abstractions for hybrid systems

175

click to vote

SAFECOMP
2004
Springer

242views Security Privacy» more SAFECOMP 2004»

A Hybrid Testing Methodology for Railway Control Systems

15 years 12 months ago

Download www.math.unipd.it

Giuseppe De Nicola, Pasquale di Tommaso, Rosaria E...

claim paper

Read More »

118

click to vote

ATS
2003
IEEE

84views Hardware» more ATS 2003»

Test Time Minimization for Hybrid BIST of Core-Based Systems

15 years 12 months ago

Download eprints.ecs.soton.ac.uk

Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, ...

claim paper

Read More »

149

click to vote

CCGRID
2003
IEEE

120views Distributed And Parallel Com...» more CCGRID 2003»

HMCS-G: Grid-enabled Hybrid Computing System for Computational Astrophysics

15 years 12 months ago

Download www.cs.tsukuba.ac.jp

Taisuke Boku, Mitsuhisa Sato, Kenji Onuma, Junichi...

claim paper

Read More »

152

click to vote

ICDCS
2003
IEEE

99views Distributed And Parallel Com...» more ICDCS 2003»

Mutual Anonymity Protocols for Hybrid Peer-to-Peer Systems

15 years 12 months ago

Download www.hpl.hp.com

Li Xiao, Zhichen Xu, Xiaodong Zhang

claim paper

Read More »

146

click to vote

INFOCOM
2003
IEEE

100views Communications» more INFOCOM 2003»

Joint power and handoff control using a hybrid systems framework

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers