932 search results - page 2 / 187 » Analysis and Optimization of CHR Programs |
111
Voted
WCET
2010
14 years 10 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
TPLP
2010
14 years 10 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
122
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
99
Voted
PLDI
1990
ACM
15 years 4 months ago
1990
ACM
