Sciweavers

606 search results - page 15 / 122
» A Comparative Study of Industrial Static Analysis Tools
Sort
View
121
Voted
AOSD
2007
ACM
15 years 4 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
PLDI
2010
ACM
15 years 5 months ago
An analysis of the dynamic behavior of JavaScript programs
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
Gregor Richards, Sylvain Lebresne, Brian Burg, Jan...
89
Voted
ISOLA
2004
Springer
15 years 5 months ago
Static Timing Analysis of Real-Time Operating System Code
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, ...
HCI
2007
15 years 1 months ago
Developing a Mobile, Service-Based Augmented Reality Tool for Modern Maintenance Work
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
Paula Savioja, Paula Järvinen, Tommi Karhela,...
WSC
2008
15 years 2 months ago
Simulation analysis of semiconductor manufacturing with small lot size and batch tool replacements
Long cycle times in semiconductor manufacuring represent an increasing challenge for the industry and lead to a growing need of break-through approaches to reduce it. Small lot si...
Kilian Schmidt, Oliver Rose