2060 search results - page 169 / 412 » Some Applications of Coding Theory in Computational Complexi... |
ISSTA
2010
ACM
14 years 12 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Filter bank optimization for specific input statistics has been of great interest in both theory and practice in many signal processing applications. In this paper we consider bi...
ICPADS
2006
IEEE
15 years 4 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
HPDC
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents a novel networking architecture designed for communication intensive parallel applications running on clusters of workstations (COWs) connected by highspeed ne...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of psychoacoustical masking models for audio coding applications has been wide spread over the past decades. In such applications, it is typically assumed that the origina...