Sciweavers

2512 search results - page 99 / 503
» Software Transactional Memory
Sort
View
ENTCS
2010
125views more  ENTCS 2010»
13 years 7 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
DATE
2008
IEEE
167views Hardware» more  DATE 2008»
14 years 4 months ago
Accuracy-Adaptive Simulation of Transaction Level Models
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
Martin Radetzki, Rauf Salimi Khaligh
COMPSAC
2009
IEEE
14 years 3 months ago
Transaction Level Control for Application Execution on the SegBus Platform
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
Tiberiu Seceleanu, Ivica Crnkovic, Cristina Cersch...
VLDB
1992
ACM
100views Database» more  VLDB 1992»
14 years 2 months ago
Principles of Transaction-Based On-Line Reorganization
For very large databases such as those used by banks and airlines, cost considerations may forbid shutting down the service for a long period of time and reorganizing off-line. Si...
Betty Salzberg, Allyn Dimock
IOLTS
2008
IEEE
112views Hardware» more  IOLTS 2008»
14 years 4 months ago
A Modular Memory BIST for Optimized Memory Repair
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Most of the existing built-in self-repair solutions reuse IP-C...
Philipp Öhler, Alberto Bosio, Giorgio Di Nata...