3765 search results - page 339 / 753 » Formal Methods for Systems Engineering Behavior Models |
239
click to vote
PLDI
2003
ACM
16 years 7 hour ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
197
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
150
click to vote
MP
2010
15 years 5 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
172
Voted
RAID
2004
Springer
16 years 3 days ago
2004
Springer
Anomaly detection is a promising approach to detecting intruders masquerading as valid users (called masqueraders). It creates a user profile and labels any behavior that deviates...
177
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present two new methods for speech enhancement based on the previously publised ne pitch model (FPM) for voiced speech. The rst method (FPM-NE) uses the FPM to pr...