9974 search results - page 416 / 1995 » Software Interconnection Models |
160
click to vote
FATES
2005
Springer
16 years 9 days ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
155
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
180
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
178
click to vote
HICSS
2005
IEEE
16 years 12 days ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
162
click to vote
ECLIPSE
2004
ACM
16 years 6 days ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...