Sciweavers

1683 search results - page 233 / 337
» Testing system virtual machines
Sort
View
CLIN
2000
15 years 6 months ago
Transforming a Chunker to a Parser
Ever since the landmark paper Ramshaw and Marcus (1995), machine learning systems have been used successfully for identifying base phrases (chunks), the bottom constituents of a p...
Erik F. Tjong Kim Sang
JLP
2010
73views more  JLP 2010»
14 years 11 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
ICCAD
1994
IEEE
76views Hardware» more  ICCAD 1994»
15 years 9 months ago
An efficient procedure for the synthesis of fast self-testable controller structures
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
Sybille Hellebrand, Hans-Joachim Wunderlich
129
Voted
ISMAR
2008
IEEE
15 years 11 months ago
Collocated AAR: Augmenting After Action Review with Mixed Reality
This paper proposes collocated After Action Review (AAR) of training experiences. Through Mixed Reality (MR), collocated AAR allows users to review past training experiences in si...
John Quarles, Samsun (Sem) Lampotang, Ira Fischler...
GPCE
2007
Springer
15 years 11 months ago
Generative programming techniques for Java library migration
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
Victor L. Winter, Azamatbek Mametjanov