Sciweavers

15885 search results - page 2475 / 3177
» The Modest Software Engineer
Sort
View
ISSTA
2010
ACM
15 years 11 months ago
Strict control dependence and its effect on dynamic information flow analyses
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang...
ISSTA
2010
ACM
15 years 11 months ago
Analyzing concurrency bugs using dual slicing
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
Dasarath Weeratunge, Xiangyu Zhang, William N. Sum...
EWSPT
1995
Springer
15 years 11 months ago
Process Modelling Languages: One or Many?
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
Reidar Conradi, Chunnian Liu
201
Voted
TAPSOFT
1995
Springer
15 years 11 months ago
Anatomy of the Pentium Bug
The Pentium computer chip’s division algorithm relies on a table from which five entries were inadvertently omitted, with the result that 1738 single precision dividenddivisor ...
Vaughan R. Pratt
BTW
2005
Springer
90views Database» more  BTW 2005»
15 years 9 months ago
The Importance of Being Earnest about Definitions
: Ideas from terminology management, the science of terms and definitions, can be used to improve the quality of software and data models, as well as to facilitate the achievement ...
Susan Thomas
« Prev « First page 2475 / 3177 Last » Next »