Sciweavers

2741 search results - page 220 / 549
» Designing Law-Compliant Software Requirements
Sort
View
ASPLOS
2010
ACM
16 years 1 months ago
Speculative parallelization using software multi-threaded transactions
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B....
PPOPP
2009
ACM
16 years 7 months ago
A comprehensive strategy for contention management in software transactional memory
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
Michael F. Spear, Luke Dalessandro, Virendra J. Ma...
ICSE
2008
IEEE-ACM
16 years 6 months ago
Constructing difference tools for models using the SiDiff framework
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
Maik Schmidt, Tilman Gloetzner
KBSE
2005
IEEE
16 years 3 days ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
UML
2004
Springer
15 years 12 months ago
5th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ...
Dominik Stein, Jörg Kienzle, Mohamed Kand&eac...