1760 search results - page 157 / 352 » Program Analysis Using Weighted Pushdown Systems |
105
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
127
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
118
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
131
click to vote
CLEF
2009
Springer
15 years 1 months ago
2009
Springer
In this study, we describe our system at the Intellectual Property track of the 2009 CrossLanguage Evaluation Forum campaign (CLEF-IP). The CLEF-IP track addressed prior art searc...
112
click to vote
ECRTS
2010
IEEE
15 years 1 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...