1138 search results - page 184 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
IEEEPACT
2007
IEEE
14 years 2 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
In dynamic data driven applications modeling accurately the uncertainty of various inputs is a key step of the process. In this paper, we first review the basics of the Karhunen-L...
ICMT
2010
Springer
14 years 28 days ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
ECOOP
1998
Springer
14 years 11 days ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
DLT
2008
13 years 9 months ago
2008
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...