Sciweavers

2943 search results - page 385 / 589
» Software Implementation of Synchronous Programs
Sort
View
99
Voted
ISCA
1998
IEEE
123views Hardware» more  ISCA 1998»
15 years 7 months ago
Weak Ordering - A New Definition
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
Sarita V. Adve, Mark D. Hill
98
Voted
FPL
1998
Springer
86views Hardware» more  FPL 1998»
15 years 7 months ago
Self Modifying Circuitry - A Platform for Tractable Virtual Circuitry
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...
Adam Donlin
112
Voted
AOSD
2007
ACM
15 years 6 months ago
ATOLL: aspect-oriented toll system
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
Luis Daniel Benavides Navarro, Christa Schwanninge...
110
Voted
ATAL
2006
Springer
15 years 6 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
117
Voted
EUROSYS
2007
ACM
15 years 11 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...