2935 search results - page 394 / 587 » An Integrated Approach to High Integrity Software Verificati... |
170
click to vote
ACMSE
2005
ACM
15 years 12 months 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...
161
click to vote
ISSTA
2004
ACM
15 years 12 months 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...
141
click to vote
SIGCSE
2004
ACM
15 years 11 months 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 ...
159
click to vote
CC
2004
Springer
15 years 11 months 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...
155
click to vote
HCW
1999
IEEE
15 years 10 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...