Sciweavers

91 search results - page 5 / 19
» Overcoming Heterophobia: Modeling Concurrency in Heterogeneo...
Sort
View
DAC
2005
ACM
16 years 19 days ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
112
Voted
SAC
2000
ACM
15 years 4 months ago
Parallel C++ for the Java Virtual Machine
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
Timothy E. Denehy, Chang-Hyun Jo
SPAA
2012
ACM
13 years 2 months ago
A scalable framework for heterogeneous GPU-based clusters
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...
Fengguang Song, Jack Dongarra
103
Voted
AMW
2009
15 years 23 days ago
Bi-Level Mapping: Combining Schema and Data Level Heterogeneity in Peer Data Sharing Systems
Abstract. Peer data sharing systems use either schema-level or data-level mappings to resolve schema as well as data heterogeneity among data sources (peers). Schema-level mappings...
Md. Anisur Rahman, Mehedi Masud, Iluju Kiringa, Ab...
83
Voted
ENTCS
2007
97views more  ENTCS 2007»
14 years 11 months ago
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
Sergiy Boroday, Alexandre Petrenko, Roland Groz