Sciweavers

3457 search results - page 106 / 692
» A Symbol Is Not a Symbol
Sort
View
RTS
2008
119views more  RTS 2008»
15 years 5 days ago
Symbolic quality control for multimedia applications
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
101
Voted
ICC
2009
IEEE
14 years 10 months ago
Joint Reduction of Peak to Average Power Ratio and Symbol Loss Rate in Multicarrier Systems
Peak to average power ratio (PAPR) and symbol loss rate (SLR) are two challenges of multicarrier based communications that have recently drawn much attention. High SLR renders the ...
Amin Alamdar Yazdi, Sameh Sorour, Shahrokh Valaee,...
ISSTA
2012
ACM
13 years 3 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
APN
2009
Springer
15 years 4 months ago
P-Semiflow Computation with Decision Diagrams
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-A...
TIT
2008
106views more  TIT 2008»
15 years 18 days ago
Byzantine Modification Detection in Multicast Networks With Random Network Coding
This paper gives an information theoretic approach for detecting Byzantine modifications in networks employing random linear network coding. Each exogenous source packet is augmen...
Tracey Ho, Ben Leong, Ralf Koetter, Muriel M&eacut...