5830 search results - page 852 / 1166 » Automatic link generation |
184
click to vote
CAV
2007
Springer
16 years 29 days 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...
177
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
209
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
172
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
206
click to vote
ICWL
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes a system for the animation of algorithms on an electronic chalkboard. The instructor teaching an algorithm can enter data directly through a drawing- the algor...