3229 search results - page 431 / 646 » The Theory of Timed Automata |
186
click to vote
MEMOCODE
2007
IEEE
16 years 29 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
174
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
202
click to vote
TELETRAFFIC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
202
click to vote
DASC
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
147
click to vote
INFOCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— Studying transfer opportunities between wireless devices carried by humans, we observe that the distribution of the inter-contact time, that is the time gap separating two cont...