2346 search results - page 387 / 470 » Hierarchical State Machines |
166
click to vote
ICTAC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
148
click to vote
ISVC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In ...
151
click to vote
ISSTA
2009
ACM
16 years 26 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
182
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...
171
click to vote
HPDC
2008
IEEE
16 years 24 days ago
2008
IEEE
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...