314 search results - page 2 / 63 » Generating Path Conditions for Timed Systems |
TON
2010
13 years 2 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
ISCC
2003
IEEE
14 years 23 days ago
2003
IEEE
Multiple Description (MD) and Layered Coding (LC) are two source-coding approaches proposed for adaptive and robust video streaming over lossy networks. Both streaming methods aim...
DATE
2002
IEEE
14 years 14 days ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, we consider a pulse shaping OFDM/BFDM system operating over doubly dispersive channel. We propose to search the optimal pulse maximizing the signal to interferen...