840 search results - page 15 / 168 » Open multi-methods for c |
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
123
click to vote
PEPM
1997
ACM
15 years 3 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
77
Voted
SIAMCO
2002
14 years 11 months ago
2002
We consider linear systems with m inputs, p outputs and McMillan degree n, such that n = mp. If both m and p are even, we show that there is a non-empty open (in the usual topology...
96
Voted
SIGSOFT
2010
ACM
14 years 6 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
SIGSOFT
2005
ACM
16 years 11 days ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...