2658 search results - page 148 / 532 » On efficient balanced codes |
136
Voted
ICS
1994
Tsinghua U.
15 years 6 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
135
Voted
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
120
Voted
TACAS
2010
Springer
15 years 14 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
114
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
119
Voted
ICIP
2007
IEEE
15 years 9 months ago
2007
IEEE
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...