Sciweavers

5981 search results - page 267 / 1197
» time 2006
Sort
View
JSAC
2006
83views more  JSAC 2006»
15 years 6 months ago
Optimal ACK mechanisms of the IEEE 802.15.3 MAC for ultra-wideband systems
Ultra-wideband (UWB) transmission is an emerging wireless technology for future short-range indoor and outdoor multimedia applications. To coordinate the access to the wireless med...
Yang Xiao, Xuemin Shen, Hai Jiang
ECCC
2006
109views more  ECCC 2006»
15 years 6 months ago
How to rank with few errors: A PTAS for Weighted Feedback Arc Set on Tournaments
Suppose you ran a chess tournament, everybody played everybody, and you wanted to use the results to rank everybody. Unless you were really lucky, the results would not be acyclic...
Claire Kenyon-Mathieu, Warren Schudy
FAC
2007
122views more  FAC 2007»
15 years 6 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
16 years 19 days ago
Timing-reasoning-based delay fault diagnosis
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
Kai Yang, Kwang-Ting Cheng
JAR
2000
137views more  JAR 2000»
15 years 6 months ago
A Benchmark Method for the Propositional Modal Logics K, KT, S4
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
Peter Balsiger, Alain Heuerding, Stefan Schwendima...