10441 search results - page 282 / 2089 » Performance modeling of heterogeneous systems |
160
click to vote
CHARME
1997
Springer
15 years 9 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
184
click to vote
RTCSA
2006
IEEE
16 years 8 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
174
click to vote
JSI
1998
15 years 6 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
142
click to vote
MIS
2001
Springer
15 years 10 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
199
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
Load balancing involves assigning to each processor, work proportional to its performance, minimizing the execution time of the program. Althoughstatic load balancing can solve ma...