1151 search results - page 111 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
135
Voted
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
130
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...
114
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
172
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
152
click to vote
GRAPHITE
2003
ACM
15 years 9 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...