1249 search results - page 187 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
DAIS
2010
15 years 1 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
GI
2004
Springer
15 years 5 months ago
2004
Springer
: We follow an empirical approach from data quality toward text quality, where the expectations of the consumer, human or machine, take the centre stage. We try to obtain numerical...
MLMI
2004
Springer
15 years 5 months ago
2004
Springer
As the amount of multimodal meetings data being recorded increases, so does the need for sophisticated mechanisms for accessing this data. This process is complicated by the diffe...
FPL
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...