Sciweavers

17366 search results - page 3066 / 3474
» New Revision Algorithms
Sort
View
FORMATS
2010
Springer
15 years 4 months ago
Combining Symbolic Representations for Solving Timed Games
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
Rüdiger Ehlers, Robert Mattmüller, Hans-...
FPL
2010
Springer
129views Hardware» more  FPL 2010»
15 years 4 months ago
FPGA Implementations of the Round Two SHA-3 Candidates
Abstract--The second round of the NIST-run public competition is underway to find a new hash algorithm(s) for inclusion in the NIST Secure Hash Standard (SHA-3). This paper present...
Brian Baldwin, Andrew Byrne, Liang Lu, Mark Hamilt...
GLOBECOM
2010
IEEE
15 years 4 months ago
Hybrid Window and Rate Based Congestion Control for Delay Sensitive Applications
There has been a dramatic increase in interactive cloud based software applications. Compared to classical realtime media applications (voice over IP (VoIP)/conferencing) and non r...
Sanjeev Mehrotra, Jin Li, Sudipta Sengupta, Manish...
GLOBECOM
2010
IEEE
15 years 4 months ago
Multiple-Description Speech Coding Using Speech-Polarity Decomposition
We present and evaluate a new multiple-description coding extension to the international standard for pulse code modulation speech coding (ITU-T Rec. G.711). This extension is inse...
Stephen Voran, Andrew Catellier
193
Voted
ICCAD
2010
IEEE
121views Hardware» more  ICCAD 2010»
15 years 4 months ago
Multi-Wafer Virtual Probe: Minimum-cost variation characterization by exploring wafer-to-wafer correlation
In this paper, we propose a new technique, referred to as MultiWafer Virtual Probe (MVP) to efficiently model wafer-level spatial variations for nanoscale integrated circuits. Tow...
Wangyang Zhang, Xin Li, Emrah Acar, Frank Liu, Rob...
« Prev « First page 3066 / 3474 Last » Next »