1116 search results - page 78 / 224 » Applying Predicate Abstraction to Abstract State Machines |
185
click to vote
TSD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
131
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
120
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Ordinal Register Machine (ORM) is one of several different machine models for infinitary computability. We classify, by complexity, the sets that can be decided quic...
126
click to vote
EUC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
136
click to vote
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...