2007 search results - page 338 / 402 » Using general-purpose programming languages for FPGA design |
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
CMMR
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
WWW
2006
ACM
14 years 11 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
C5
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...