Sciweavers

2062 search results - page 151 / 413
» Hardware Objects for Java
Sort
View
ECBS
2002
IEEE
120views Hardware» more  ECBS 2002»
15 years 7 months ago
FRAME for Achieving Performance Portability within Heterogeneous Environments
Resource heterogeneity offers a new challenge to portability of resource critical applications such as multimedia or interactive applications. Under heterogeneous environments, a ...
Ren-Song Ko, Matt W. Mutka
ECOOP
2010
Springer
15 years 7 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
MSE
2000
IEEE
165views Hardware» more  MSE 2000»
15 years 6 months ago
JACIE - an Authoring Language for Rapid Prototyping Net-Centric, Multimedia and Collaborative Applications
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...
Abdul S. Haji-Ismail, Min Chen, Phil W. Grant, Mar...
CAV
2007
Springer
108views Hardware» more  CAV 2007»
15 years 6 months ago
Parametric and Sliced Causality
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
Feng Chen, Grigore Rosu
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 5 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan