Search Sciweavers | Sciweavers

43264 search results - page 451 / 8653

» Comparing models of computation

186

click to vote

JUCS
2000

102views more JUCS 2000»

Towards Two-Level Formal Modeling of Computer-Based Systems

15 years 6 months ago

Download w3.isis.vanderbilt.edu

: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...

Gabor Karsai, Greg Nordstrom, Ákos Lé...

claim paper

Read More »

131

click to vote

C5
2003
IEEE

92views Applied Computing» more C5 2003»

Computer learning system for pre-school-age children based on a haptized model railway

15 years 11 months ago

Download www.atr.jp

Haruo Noma, Hirokazu Sasamoto, Yuichi Itoh, Yoshif...

claim paper

Read More »

131

click to vote

HPCS
2002
IEEE

98views Distributed And Parallel Com...» more HPCS 2002»

PRO: A Model for Parallel Resource-Optimal Computation

15 years 11 months ago

Download www.ii.uib.no

Assefaw Hadish Gebremedhin, Isabelle Guérin...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

85views Distributed And Parallel Com...» more IPPS 2000»

Multithreaded Parallel Computer Model with Performance Evaluation

15 years 10 months ago

Download ipdps.cc.gatech.edu

JiangTao Cui, Jacir Luiz Bordim, Koji Nakano, Tats...

claim paper

Read More »

131

click to vote

ICPADS
1998
IEEE

87views Distributed And Parallel Com...» more ICPADS 1998»

Real-Time Gang Schedulings with Workload Models for Parallel Computers

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers