Sciweavers

1058 search results - page 40 / 212
» MEMOPS: Data modelling and automatic code generation.
Sort
View
CAV
2004
Springer
154views Hardware» more  CAV 2004»
14 years 2 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
SC
1995
ACM
14 years 2 months ago
A Novel Approach Towards Automatic Data Distribution
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
Jordi Garcia, Eduard Ayguadé, Jesús ...

Publication
412views
15 years 9 months ago
Analyzing Transit Service Reliability using Detailed Data From Automatic Vehicular Locator Systems
The widespread adoption of automated vehicle location systems (AVL) and automatic passenger counters (APC) in the transit industry has opened new venues in operations and system mo...
A. M. El-Geneidy, J. Horning, K. J. Krizek
CPE
1994
Springer
170views Hardware» more  CPE 1994»
14 years 3 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
SI3D
2003
ACM
14 years 4 months ago
An automatic modeling of human bodies from sizing parameters
In this paper, we present an automatic, runtime modeler for modeling realistic, animatable human bodies. A user can generate a new model or modify an existing one simply by inputt...
Hyewon Seo, Nadia Magnenat-Thalmann