1840 search results - page 34 / 368 » time 2002 |
WORDS
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
BC
2002
13 years 7 months ago
2002
Association of a presynaptic spike with a postsynaptic spike can lead to changes in synaptic efficacy that are highly dependent on the relative timing of the preand postsynaptic sp...
DM
2002
13 years 7 months ago
2002
A dual-eulerian graph is a plane graph which has an ordering defined on its edge set which forms simultaneously an Euler circuit in the graph and an euler circuit in the dual grap...
LOGCOM
2002
13 years 7 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
TIT
2002
13 years 7 months ago
2002
This paper focuses on jammed timing channels. Pure delay jammers with a maximum delay constraint, an average delay constraint, or a maximum buffer size constraint are explored, for...