Sciweavers

15253 search results - page 326 / 3051
» Integer-Programming Software Systems
Sort
View
CASES
2004
ACM
15 years 11 months ago
Providing time- and space- efficient procedure calls for asynchronous software thread integration
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
Vasanth Asokan, Alexander G. Dean
IPPS
2010
IEEE
15 years 4 months ago
Runtime checking of serializability in software transactional memory
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
Arnab Sinha, Sharad Malik
211
Voted
ECSA
2007
Springer
16 years 1 months ago
The Art and Science of Software Architecture
The past 20 years has seen significant investments in the theory and practice of software architecture. However, architectural deficiencies are frequently cited as a key factor in ...
Alan W. Brown, John A. McDermid
IWPC
2002
IEEE
16 years 5 days ago
Slicing Aspect-Oriented Software
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
Jianjun Zhao
195
Voted
CSMR
2010
IEEE
15 years 2 months ago
Interactive Exploration of Co-evolving Software Entities
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
Adam Vanya, Rahul Premraj, Hans van Vliet