Sciweavers

2062 search results - page 151 / 413
» Hardware Objects for Java
Sort
View
ECBS
2002
IEEE
120views Hardware» more  ECBS 2002»
14 years 2 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
14 years 2 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»
14 years 1 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»
14 years 1 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»
14 years 29 days 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