Sciweavers

1528 search results - page 140 / 306
» Performance Assertion Checking
Sort
View
108
Voted
ICASSP
2011
IEEE
14 years 6 months ago
Low-complexity detection of golden codes in LDPC-coded OFDM systems
Recent and next-generation wireless broadcasting standards, such as DVB-T2 or DVB-NGH, are considering distributed multi-antenna transmission in order to increase bandwidth effic...
Iker Sobron, Maitane Barrenechea, Pello Ochandiano...
103
Voted
CHI
2004
ACM
16 years 2 months ago
WinCuts: manipulating arbitrary window regions for more effective use of screen space
Each window on our computer desktop provides a view into some information. Although users can currently manipulate multiple windows, we assert that being able to spatially arrange...
Desney S. Tan, Brian Meyers, Mary Czerwinski
PLDI
2005
ACM
15 years 8 months ago
DART: directed automated random testing
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
Patrice Godefroid, Nils Klarlund, Koushik Sen
121
Voted
STOC
1997
ACM
122views Algorithms» more  STOC 1997»
15 years 6 months ago
Fault-Tolerant Quantum Computation With Constant Error
Shor has showed how to perform fault tolerant quantum computation when the probability for an error in a qubit or a gate, η, decays with the size of the computation polylogarithmi...
Dorit Aharonov, Michael Ben-Or
CCS
2009
ACM
15 years 6 months ago
On lightweight mobile phone application certification
Users have begun downloading an increasingly large number of mobile phone applications in response to advancements in handsets and wireless networks. The increased number of appli...
William Enck, Machigar Ongtang, Patrick Drew McDan...