Sciweavers

1714 search results - page 26 / 343
» Abstract Models of Memory Management
Sort
View
AC
2003
Springer
15 years 10 months ago
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
Wil M. P. van der Aalst
ISCA
2007
IEEE
143views Hardware» more  ISCA 2007»
16 years 21 days ago
Performance pathologies in hardware transactional memory
Hardware Transactional Memory (HTM) systems reflect choices from three key design dimensions: conflict detection, version management, and conflict resolution. Previously propos...
Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Y...
TECS
2002
81views more  TECS 2002»
15 years 6 months ago
System-level exploration of association table implementations in telecom network applications
les to further raise the abstraction level of the initial specification, where dynamic data sets can be specified without low-level details. Our method is suited for hardware and s...
Chantal Ykman-Couvreur, J. Lambrecht, A. Van Der T...
VTS
2000
IEEE
100views Hardware» more  VTS 2000»
15 years 10 months ago
Functional Memory Faults: A Formal Notation and a Taxonomy
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...
A. J. van de Goor, Zaid Al-Ars
ICECCS
2007
IEEE
82views Hardware» more  ICECCS 2007»
16 years 22 days ago
Formalising Flash Memory: First Steps
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
Andrew Butterfield, Jim Woodcock