1497 search results - page 132 / 300 » Extended static checking |
106
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents a control for state-constrained nonlinear systems in strict feedback form to achieve output tracking. To prevent states from violating the constraints, we e...
122
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
IWSSD
2000
IEEE
15 years 6 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
113
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
96
Voted
APL
1998
ACM
15 years 6 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...