6381 search results - page 259 / 1277 » Alternative Implementation of the C |
181
click to vote
UML
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
202
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
We describe how reachability-based orthogonal persistence can be supported even in uncooperative implementations of languages such as C++ and Modula-3, and without modification t...
203
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
204
click to vote
WCE
2007
15 years 8 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
176
click to vote
SIGPLAN
2008
15 years 7 months ago
2008
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transa...