Sciweavers

2512 search results - page 225 / 503
» Software Transactional Memory
Sort
View
HPCA
1995
IEEE
15 years 8 months ago
Software Cache Coherence for Large Scale Multiprocessors
Shared memory is an appealing abstraction for parallel programming. It must be implemented with caches in order toperform well, however, and caches require a coherence mechanism t...
Leonidas I. Kontothanassis, Michael L. Scott
AAAI
1998
15 years 5 months ago
Metacognition in Software Agents Using Classifier Systems
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
Zhaohua Zhang, Stan Franklin, Dipankar Dasgupta
132
Voted
SIES
2007
IEEE
15 years 10 months ago
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
Thomas M. Galla, Dietmar Schreiner, Wolfgang Forst...
TASE
2007
IEEE
15 years 10 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
136
Voted
SAC
2006
ACM
15 years 10 months ago
Adapting software components by structure fragmentation
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
Gautier Bastide, Abdelhak Seriai, Mourad Oussalah