1178 search results - page 56 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
121
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
149
click to vote
ICONIP
2008
15 years 2 months ago
2008
This paper's intention is to adapt prediction algorithms well known in the field of time series analysis to problems being faced in the field of mobile robotics and Human-Robo...
121
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
122
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
109
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Privacy-Preserving Data Re-publishing (PPDR) deals with publishing microdata in dynamic scenarios. Due to privacy concerns, data must be disguised before being published. Research...