1497 search results - page 229 / 300 » Extended static checking |
95
Voted
CONSTRAINTS
2008
15 years 23 days ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
94
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
114
Voted
EJC
2008
15 years 23 days ago
2008
We explore the connection between locally constrained graph homomorphisms and degree matrices arising from an equitable partition of a graph. We provide several equivalent charact...
109
Voted
EJC
2008
15 years 23 days ago
2008
Abstract. Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, t...
112
click to vote
CAL
2006
15 years 22 days ago
2006
This paper makes a case for using multi-core processors to simultaneously achieve transient-fault tolerance and performance enhancement. Our approach is extended from a recent late...