928 search results - page 72 / 186 » Interpolation-sequence based model checking |
97
Voted
ADAEUROPE
2008
Springer
15 years 2 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
100
click to vote
JIISIC
2008
15 years 2 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
118
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
102
click to vote
WOA
2007
15 years 1 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
125
Voted
WLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...