2500 search results - page 125 / 500 » Specifying Behavior in C |
197
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
156
click to vote
TROB
2002
15 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
129
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...
132
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
162
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...