Sciweavers

2500 search results - page 8 / 500
» Specifying Behavior in C
Sort
View
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
14 years 4 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
SIGCSE
1997
ACM
111views Education» more  SIGCSE 1997»
14 years 3 days ago
Function objects, function templates, and passage by behavior in C++
Passing functions and function objects to general routines is a powerful abstraction mechanism that should be taught in freshman computer science. In C++, a “function” can be ...
Richard Rasala
DATE
2000
IEEE
140views Hardware» more  DATE 2000»
14 years 10 days ago
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
Luc Séméria, Koichi Sato, Giovanni D...
BMCBI
2004
76views more  BMCBI 2004»
13 years 7 months ago
An imaging system for standardized quantitative analysis of C. elegans behavior
Zhaoyang Feng, Christopher J. Cronin, John H. Witt...
ISCAS
2007
IEEE
100views Hardware» more  ISCAS 2007»
14 years 2 months ago
Periodic Steady-State Analysis of Oscillators with a Specified Oscillation Frequency
Igor Vytyaz, David C. Lee, Suihua Lu, Amit Mehrotr...