2935 search results - page 394 / 587 » An Integrated Approach to High Integrity Software Verificati... |
198
click to vote
ACMSE
2005
ACM
16 years 23 days ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
192
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
171
click to vote
SIGCSE
2004
ACM
16 years 18 days ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
179
click to vote
CC
2004
Springer
16 years 18 days ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
177
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new software technology for on-line performance analysis and visualization of complex parallel and distributed systems. Often heterogeneous, these systems need capabi...