1000 search results - page 102 / 200 » Nominal rewriting systems |
TPLP
2010
14 years 11 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,...
120
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
114
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
109
Voted
CDC
2009
IEEE
2009
IEEE
Robust stabilization of model-based uncertain singularly perturbed systems with networked time-delay
15 years 5 months ago
—In this paper, a robust stabilization of the uncertain singularly perturbed system via a networked state feedback with the transmission time-delay is addressed. Taking its nomin...
170
Voted
HYBRID
2011
Springer
14 years 23 days ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...