Sciweavers

6008 search results - page 22 / 1202
» Heterogeneity in
Sort
View
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
14 years 28 days ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
ICPP
1996
IEEE
14 years 27 days ago
MpPVM: A Software System for Non-Dedicated Heterogeneous Computing
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
Kasidit Chanchio, Xian-He Sun
ASPDAC
1995
ACM
99views Hardware» more  ASPDAC 1995»
14 years 9 days ago
An integrated hardware-software cosimulation environment for heterogeneous systems prototyping
- In this paper, we present a hardware-software cosimulation environment for heterogeneoussystems. To be an efficient system verification environment for the rapid prototyping of h...
Yongjoo Kim, Kyuseok Kim, Youngsoo Shin, Taekyoon ...
BMCBI
2006
90views more  BMCBI 2006»
13 years 8 months ago
Dissecting trait heterogeneity: a comparison of three clustering methods applied to genotypic data
Background: Trait heterogeneity, which exists when a trait has been defined with insufficient specificity such that it is actually two or more distinct traits, has been implicated...
Tricia A. Thornton-Wells, Jason H. Moore, Jonathan...
TPDS
1998
95views more  TPDS 1998»
13 years 8 months ago
Bound Performance Models of Heterogeneous Parallel Processing Systems
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...
Simonetta Balsamo, Lorenzo Donatiello, Nico M. van...