Sciweavers

2610 search results - page 198 / 522
» codes 2007
Sort
View
CMPB
2007
140views more  CMPB 2007»
15 years 4 months ago
Integrating digital topology in image-processing libraries
This paper describes a method to integrate digital topology informations in image processing libraries. This additional information allows a library user to write algorithms respe...
Julien Lamy
ISVLSI
2007
IEEE
181views VLSI» more  ISVLSI 2007»
15 years 10 months ago
Code-coverage Based Test Vector Generation for SystemC Designs
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
Alair Dias Jr., Diógenes Cecilio da Silva J...
ICSE
2007
IEEE-ACM
15 years 10 months ago
Automatic Inference of Structural Changes for Matching across Program Versions
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
Miryung Kim, David Notkin, Dan Grossman
CAV
2007
Springer
111views Hardware» more  CAV 2007»
15 years 8 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith
JMM2
2007
115views more  JMM2 2007»
15 years 4 months ago
Scalable Video Streaming Traffic Delivery in IP/UMTS Networking Environments
—The paper discusses the end-to-end QoS provisioning for scalable video streaming traffic delivery over heterogeneous IP/UMTS networks. A prototype architecture is proposed, and ...
Thomas Pliakas, George Kormentzas, Charalabos Skia...