Sciweavers

4764 search results - page 497 / 953
» Applications of Error-Control Coding
Sort
View
WCRE
2000
IEEE
15 years 7 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
FASE
2008
Springer
15 years 5 months ago
Software Quality Improvement Via Pattern Matching
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
Radu Kopetz, Pierre-Etienne Moreau
HCI
2007
15 years 5 months ago
C-Band: A Flexible Ring Tag System for Camera-Based User Interface
Abstract. This paper proposed a new visual tag system for enhancing realworld media interaction using handheld camera devices. This paper also described performance evaluations of ...
Kento Miyaoku, Anthony Tang, Sidney Fels
CASCON
2006
149views Education» more  CASCON 2006»
15 years 5 months ago
Packet decoding using context sensitive parsing
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
Sylvain Marquis, Thomas R. Dean, Scott Knight
IPCO
2001
117views Optimization» more  IPCO 2001»
15 years 5 months ago
Pruning by Isomorphism in Branch-and-Cut
The paper presents a branch-and-cut for solving (0, 1) integer linear programs having a large symmetry group. The group is used for pruning the enumeration tree and for generating ...
François Margot