3759 search results - page 600 / 752 » Natural language processing of lyrics |
152
click to vote
ANSS
2006
IEEE
16 years 12 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
181
click to vote
COMSWARE
2006
IEEE
16 years 12 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
156
click to vote
FDL
2006
IEEE
16 years 12 days ago
2006
IEEE
We present an introspection/reflection framework for SystemC which extracts design-relevant structure information and transaction data under any LRM-2.1 compliant simulation kern...
164
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
149
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...