75 search results - page 2 / 15 » Verification and Implementation of Delay-Insensitive Process... |
SIGUCCS
2004
ACM
13 years 11 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
CHES
2007
Springer
13 years 9 months ago
2007
Springer
Graphics Processing Units (GPUs) present large potential performance gains within stream processing applications over the standard CPU. These performance gains are best realised wh...
CODES
2005
IEEE
13 years 11 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
CAISE
2007
Springer
13 years 9 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
DAC
2005
ACM
13 years 7 months ago
2005
ACM
In this paper we discuss an efficient design flow from Matlab® to FPGA. Employing Matlab for algorithm research and as system level language allows efficient transition from algo...