Sciweavers

2346 search results - page 69 / 470
» Hierarchical State Machines
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
13 years 9 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
SIGGRAPH
1996
ACM
13 years 11 months ago
The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
Li-wei He, Michael F. Cohen, David Salesin
EMNLP
2009
13 years 5 months ago
Effective Use of Linguistic and Contextual Information for Statistical Machine Translation
Current methods of using lexical features in machine translation have difficulty in scaling up to realistic MT tasks due to a prohibitively large number of parameters involved. In...
Libin Shen, Jinxi Xu, Bing Zhang, Spyros Matsoukas...
EUROPAR
2010
Springer
13 years 7 months ago
A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling
We present in this article a new approximation algorithm for scheduling a set of n independent rigid (meaning requiring a fixed number of processors) jobs on hierarchical parallel ...
Marin Bougeret, Pierre-François Dutot, Klau...
VLSID
2002
IEEE
142views VLSI» more  VLSID 2002»
14 years 8 months ago
Degree-of-Freedom Analysis for Sequential Machines Targeting BIST Quality and Gate Area
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
Samir Roy, Biplab K. Sikdar, Monalisa Mukherjee, D...