Sciweavers

4323 search results - page 30 / 865
» Callback Implementations in C
Sort
View
CORR
2006
Springer
83views Education» more  CORR 2006»
15 years 6 months ago
Implementation and Deployment of a Distributed Network Topology Discovery Algorithm
Benoit Donnet, Bradley Huffaker, Timur Friedman, K...
DAC
2008
ACM
16 years 7 months ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
15 years 11 months ago
galsC: A Language for Event-Driven Embedded Systems
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
Elaine Cheong, Jie Liu
155
Voted
PPDP
1999
Springer
15 years 10 months ago
C--: A Portable Assembly Language that Supports Garbage Collection
For a compiler writer, generating good machine code for a variety of platforms is hard work. One might try to reuse a retargetable code generator, but code generators are complex a...
Simon L. Peyton Jones, Norman Ramsey, Fermin Reig
ENTCS
2002
78views more  ENTCS 2002»
15 years 5 months ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima