2106 search results - page 41 / 422 » Specifying C concepts |
DAC
2003
ACM
14 years 8 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
SPAA
2009
ACM
14 years 8 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
We present a method which, given a few words defining a concept in some language, retrieves, disambiguates and extends corresponding terms that define a similar concept in another...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...