3688 search results - page 226 / 738 » Static analysis of aspects |
184
click to vote
SAM
2000
15 years 8 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
136
click to vote
CSDA
2008
15 years 6 months ago
2008
This paper presents a Bayesian spatial method for analysing the site index data from the Missouri Ozark Forest Ecosystem Project (MOFEP). Based on ecological background and availa...
117
click to vote
ENGL
2008
15 years 6 months ago
2008
-- The considered converter-fed permanent magnet motor could alternatively be operated in two basically different states - the vector control mode or alternatively the brushless dc...
174
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
173
click to vote
MSR
2006
ACM
16 years 17 days ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...