911 search results - page 142 / 183 » Combining programs and state machines |
SAMOS
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...
MLMI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we present initial results towards boosting posterior based speech recognition systems by estimating more informative posteriors using multiple streams of ...
ESWS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we describe a methodology for harvesting information from large distributed repositories (e.g. large Web sites) with minimum user intervention. The methodol...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
EDCC
2010
Springer
14 years 1 months ago
2010
Springer
Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...