Sciweavers

1642 search results - page 8 / 329

» SPINning Parallel Systems Software

22

IPPS
2007
IEEE

126views Distributed And Parallel Com...» more IPPS 2007»

Hardware/Software Co-Design for Matrix Computations on Reconfigurable Computing Systems

14 years 1 months ago

Hardware/Software Co-Design for Matrix Computations on Reconfigurable Computing Systems

Download www-scf.usc.edu

Ling Zhuo, Viktor K. Prasanna

claim paper

Read More »

18

IPPS
2002
IEEE

114views Distributed And Parallel Com...» more IPPS 2002»

Hardware-Software Co-Reliability in Field Reconfigurable Multi-Processor-Memory Systems

14 years 17 days ago

Hardware-Software Co-Reliability in Field Reconfigurable Multi-Processor-Memory Systems

Download cs.nju.edu.cn

Minsu Choi, Nohpill Park, Fabrizio Lombardi

claim paper

Read More »

21

ICPADS
2000
IEEE

116views Distributed And Parallel Com...» more ICPADS 2000»

ORION: An Adaptive Home-Based Software Distributed Shared Memory System

14 years 1 days ago

ORION: An Adaptive Home-Based Software Distributed Shared Memory System

Download www.comp.nus.edu.sg

M. C. Ng, W. F. Wong

claim paper

Read More »

21

ICSE
2000
IEEE-ACM

72views Software Engineering» more ICSE 2000»

Verification of time partitioning in the DEOS scheduler kernel

13 years 11 months ago

Verification of time partitioning in the DEOS scheduler kernel

Download ti.arc.nasa.gov

This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...

John Penix, Willem Visser, Eric Engstrom, Aaron La...

claim paper

Read More »

14

LCTRTS
2007
Springer

106views System Software» more LCTRTS 2007»

Code and data partitioning for fine-grain parallelism

14 years 1 months ago

Code and data partitioning for fine-grain parallelism

Download cccp.eecs.umich.edu

Michael L. Chu, Scott A. Mahlke

claim paper

Read More »

« Prev « First page 8 / 329 Last » Next »