1186 search results - page 200 / 238 » State machine models of timing and circuit design |
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
WOA
2010
13 years 5 months ago
2010
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—The paper presents a novel integrated MAC/routing scheme for wireless sensor networking. Our design objective is to elect the next hop for data forwarding by minimizing the numb...
LCTRTS
2004
Springer
14 years 1 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...