2514 search results - page 460 / 503 » The use of industrial-strength formal methods |
125
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
126
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
131
click to vote
IFL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
123
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
126
click to vote
DS
1992
15 years 3 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...