2266 search results - page 422 / 454 » Generalizing parametric timing analysis |
AFRICACRYPT
2010
Springer
14 years 2 months ago
2010
Springer
Modern multi-user communication systems, including popular instant messaging tools, social network platforms, and cooperative-work applications, offer flexible forms of communica...
IEEEPACT
2008
IEEE
14 years 2 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
NOMS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—The advance on data transmission in optical networks has allowed data forwarding decisions to be taken at multiple levels in the protocol stack (e.g., at network and opt...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
AIPR
2007
IEEE
14 years 2 months ago
2007
IEEE
Geometric structure of a scene can be reconstructed using many methods. In recent years, two prominent approaches have been digital photogrammetric analysis using passive stereo i...