5615 search results - page 259 / 1123 » On the Computational Capabilities of Several Models |
179
click to vote
ACL
2010
15 years 5 months ago
2010
Linear Context-Free Rewriting Systems (LCFRSs) are a grammar formalism capable of modeling discontinuous phrases. Many parsing applications use LCFRSs where the fan-out (a measure...
187
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
A method for Statistical Fault Injection (SFI) into arbitrary latches within a full system hardware-emulated model is validated against particle-beam-accelerated SER testing for a...
211
click to vote
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
152
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, it is described a method of curved ray tracing capable of depicting phenomena that arise, under certain conditions, when light propagates through an inhomogeneous a...
220
click to vote
IS
2007
15 years 7 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...