1178 search results - page 14 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
DEXAW
2010
IEEE
13 years 9 months ago
2010
IEEE
One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of ch...
ESOP
1990
Springer
14 years 21 days ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a new algorithm for the recognition of human activities. These activities are modelled using banks of switched dynamical models, each of which is tailored to ...
IJISEC
2007
13 years 8 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...