Sciweavers

2056 search results - page 410 / 412
» Detecting Errors in Spreadsheets
Sort
View
RV
2010
Springer
177views Hardware» more  RV 2010»
13 years 7 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
VTC
2010
IEEE
174views Communications» more  VTC 2010»
13 years 6 months ago
Multiple-Relay Aided Distributed Turbo Coding Assisted Differential Unitary Space-Time Spreading for Asynchronous Cooperative Ne
—This paper proposes a cooperative space-time coding (STC) protocol, amalgamating the concepts of asynchronous cooperation, non-coherent detection as well as Distributed Turbo Co...
Shinya Sugiura, Soon Xin Ng, Lingkun Kong, Sheng C...
VTC
2010
IEEE
145views Communications» more  VTC 2010»
13 years 6 months ago
Distributed Convolutional-Coded Differential Space-Time Block Coding
— A low complexity distributed coding scheme is proposed for communications over Rayleigh fading channels. Convolutional Coding (CC) assisted Differential Phase-Shift Keying (DPS...
Soon Xin Ng, Yang Wang, Lajos Hanzo
SIGSOFT
2010
ACM
13 years 6 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
DAGM
2009
Springer
13 years 6 months ago
Combined GKLT Feature Tracking and Reconstruction for Next Best View Planning
Abstract. Guided Kanade-Lucas-Tomasi (GKLT) tracking is a suitable way to incorporate knowledge about camera parameters into the standard KLT tracking approach for feature tracking...
Michael Trummer, Christoph Munkelt, Joachim Denzle...