Sciweavers

2797 search results - page 65 / 560
» Code query by example
Sort
View
TIT
2008
86views more  TIT 2008»
15 years 2 months ago
A One-to-One Code and Its Anti-Redundancy
One-to-one codes are "one shot" codes that assign a distinct codeword to source symbols and are not necessarily prefix codes (more generally, uniquely decodable). For ex...
Wojciech Szpankowski
140
Voted
VLDB
2007
ACM
128views Database» more  VLDB 2007»
15 years 8 months ago
A genetic approach for random testing of database systems
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
Hardik Bati, Leo Giakoumakis, Steve Herbert, Aleks...
ICSE
2007
IEEE-ACM
16 years 2 months ago
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
Daqing Hou
MEMICS
2010
14 years 9 months ago
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
Thomas Reinbacher, Jörg Brauer, Martin Horaue...
CISS
2007
IEEE
15 years 8 months ago
On Feedback for Network Coding
In this paper we examine possible ways that feedback can be used, in the context of systems with network coding capabilities. We illustrate, through a number of simple examples, th...
Christina Fragouli, Desmond S. Lun, Muriel M&eacut...