2346 search results - page 359 / 470 » Hierarchical State Machines |
176
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
A workstation requires a low-power design similar to a typical PC. In this paper we propose several strategies to reduce the power consumption of a workstation. First, we must com...
183
click to vote
IWRIDL
2006
ACM
16 years 11 days ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
158
click to vote
ASM
2004
ASM
15 years 11 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
166
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
165
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Compared to their ancestors in the early 1970s, present day computer games are of incredible complexity and show magnificent graphical performance. However, in programming intelli...