Sciweavers

43264 search results - page 451 / 8653
» Comparing models of computation
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: 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é...
C5
2003
IEEE
15 years 11 months ago
Computer learning system for pre-school-age children based on a haptized model railway
Haruo Noma, Hirokazu Sasamoto, Yuichi Itoh, Yoshif...
HPCS
2002
IEEE
15 years 11 months ago
PRO: A Model for Parallel Resource-Optimal Computation
Assefaw Hadish Gebremedhin, Isabelle Guérin...
IPPS
2000
IEEE
15 years 10 months ago
Multithreaded Parallel Computer Model with Performance Evaluation
JiangTao Cui, Jacir Luiz Bordim, Koji Nakano, Tats...
ICPADS
1998
IEEE
15 years 10 months ago
Real-Time Gang Schedulings with Workload Models for Parallel Computers
Jenq Kuen Lee, Chung-Der Lin, Yar-Wen Chang, Wei K...