Sciweavers

12334 search results - page 186 / 2467
» The Use of C
Sort
View
190
Voted
ECCC
2007
147views more  ECCC 2007»
15 years 4 months ago
Inapproximability of edge-disjoint paths and low congestion routing on undirected graphs
In the undirected Edge-Disjoint Paths problem with Congestion (EDPwC), we are given an undirected graph with V nodes, a set of terminal pairs and an integer c. The objective is to...
Matthew Andrews, Julia Chuzhoy, Venkatesan Guruswa...
APSEC
2004
IEEE
15 years 8 months ago
Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures
Software engineers need to understand programs in order to effectively maintain them. The call graph, which presents the calling relationships between functions, is a useful repre...
Darren C. Atkinson
141
Voted
DAC
2006
ACM
15 years 10 months ago
Use of C/C++ models for architecture exploration and verification of DSPs
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
David Brier, Raj S. Mitra
158
Voted
DAC
2010
ACM
15 years 3 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
ULPAA
1994
152views Hardware» more  ULPAA 1994»
15 years 6 months ago
Programming with ASN.1 Using Polymorphic Types and Type Specialization
object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding...
R. Greg Lavender, Dennis G. Kafura, R. W. Mullins