Sciweavers

2610 search results - page 198 / 522
» codes 2007
Sort
View
CMPB
2007
140views more  CMPB 2007»
15 years 6 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»
16 years 25 days 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
16 years 21 days 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 10 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 6 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...