2283 search results - page 312 / 457 » Bounds of Graph Characteristics |
STACS
2001
Springer
14 years 17 days ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
SIGCOMM
1996
ACM
14 years 9 days ago
1996
ACM
Emerging indoor mobile computing environments seek to provide a user with an advanced setofcommunication-intensive applications, which require sustained quality of service in the ...
PACS
2000
Springer
13 years 11 months ago
2000
Springer
Dynamic voltage and frequency scaling has been identified as one of the most effective ways to reduce power dissipation. This paper discusses a compilation strategy that identifies...
GLOBECOM
2008
IEEE
13 years 9 months ago
2008
IEEE
—The probability of a miss in the detection of a signal in an optical communications system through the turbulent atmosphere using intensity modulation is studied. The turbulence...
AAECC
2008
Springer
13 years 8 months ago
2008
Springer
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...