3005 search results - page 420 / 601 » Logical Information Systems: from Taxonomies to Logics |
170
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
159
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
201
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Multi-core processors with shared last-level caches are vulnerable to performance inefficiencies and fairness issues when the cache is not carefully managed between the m...
163
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
150
click to vote
FUZZIEEE
2007
IEEE
16 years 27 days ago
2007
IEEE
— An iterative feature selection method based on feature typicality and interactivity analysis is presented in this paper. The aim is to enhance model interpretability by selecti...