4820 search results - page 451 / 964 » Implementing Signatures for C |
126
Voted
FASE
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
162
click to vote
NLDB
2001
Springer
15 years 9 months ago
2001
Springer
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
120
Voted
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
170
Voted
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...
116
Voted
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...