606 search results - page 57 / 122 » A Comparative Study of Industrial Static Analysis Tools |
80
Voted
WSC
2004
15 years 1 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...
TAP
2010
Springer
14 years 10 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
120
Voted
WSC
1997
15 years 1 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
214
click to vote
FAST
2011
14 years 4 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
91
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper reports on a specific food and agribusiness industry project, employing new technological capabilities to better transfer expert knowledge. Knowledge transfer and techn...