Sciweavers

2018 search results - page 298 / 404
» Code Normal Forms
Sort
View
VSTTE
2010
Springer
13 years 7 months ago
To Goto Where No Statement Has Gone Before
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
Michael Barnett, K. Rustan M. Leino
ACL
2010
13 years 7 months ago
Experiments in Graph-Based Semi-Supervised Learning Methods for Class-Instance Acquisition
Graph-based semi-supervised learning (SSL) algorithms have been successfully used to extract class-instance pairs from large unstructured and structured text collections. However,...
Partha Pratim Talukdar, Fernando Pereira
ASPDAC
2010
ACM
129views Hardware» more  ASPDAC 2010»
13 years 7 months ago
System-level development of embedded software
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
ICC
2009
IEEE
143views Communications» more  ICC 2009»
13 years 6 months ago
Throughput Improvement through Precoding in OFDMA Systems with Limited Feedback
In this paper, we study the possibility of throughput improvement through precoding in OFDMA based wireless systems with limited channel feedback. Precoding can increase the overal...
Sameh Sorour, Amin Alamdar Yazdi, Shahrokh Valaee,...
ICIP
2009
IEEE
13 years 6 months ago
A compressive-sensing based watermarking scheme for sparse image tampering identification
In this paper we describe a robust watermarking scheme for image tampering identification and localization. A compact representation of the image is first produced by assembling a...
Giuseppe Valenzise, Marco Tagliasacchi, Stefano Tu...