Sciweavers

458 search results - page 22 / 92
» Symbolic Object Code Analysis
Sort
View
CORR
2007
Springer
63views Education» more  CORR 2007»
13 years 8 months ago
Four-Group Decodable Space-Time Block Codes
— A class of rate-one space-time block codes (STBC) allowing the decoding of transmitted symbols into four groups is recently proposed by Yuen, Guan and Tjhung. This code is call...
Dung Ngoc Dao, Chau Yuen, Chintha Tellambura, Yong...
CCS
2006
ACM
14 years 6 days ago
EXE: automatically generating inputs of death
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, ...
VISSOFT
2002
IEEE
14 years 1 months ago
Runtime Visualisation of Object Oriented Software
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
Michael P. Smith, Malcolm Munro
CP
2009
Springer
14 years 9 months ago
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Ni...
SARA
2009
Springer
14 years 3 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...