741 search results - page 110 / 149 » Steps towards C C: A Language for Interactions |
IEICET
2006
13 years 8 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
IJSWIS
2007
13 years 8 months ago
2007
In this paper, we present MELIS (Meaning Elicitation and Lexical Integration System), a method and a software tool for enabling an incremental process of automatic annotation of lo...
INTEGRATION
2000
13 years 7 months ago
2000
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...