448 search results - page 62 / 90 » The Complexity of Codiagnosability for Discrete Event and Ti... |
FM
1999
Springer
13 years 12 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
NOCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
CMSB
2009
Springer
14 years 2 months ago
2009
Springer
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
WSC
2004
13 years 9 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
We investigate the problem of scheduling in OFDMbased multihop relay networks with special emphasis on IEEE 802.16j based WiMAX networks. In such networks, scheduling is the probl...