Sciweavers

1446 search results - page 17 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
CHES
2006
Springer
179views Cryptology» more  CHES 2006»
14 years 2 months ago
Offline Hardware/Software Authentication for Reconfigurable Platforms
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
Eric Simpson, Patrick Schaumont
FDL
2008
IEEE
14 years 4 months ago
Towards Compilation of Streaming Programs into FPGA Hardware
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
Franjo Plavec, Zvonko G. Vranesic, Stephen Dean Br...
VLSI
2007
Springer
14 years 4 months ago
Impact of hardware emulation on the verification quality improvement
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
Youssef Serrestou, Vincent Beroulle, Chantal Robac...
MSE
2000
IEEE
133views Hardware» more  MSE 2000»
14 years 2 months ago
Multimodal Presentation Markup Language MPML With Emotion Expression Functions Attached
With the increase of multimedia contents in the WWW, multimodal presentation using interactive life-like agents is attractive and becoming important. However, it is not easy for m...
Yuan Zong, Hiroshi Dohi, Mitsuru Ishizuka
ISCA
2007
IEEE
146views Hardware» more  ISCA 2007»
14 years 4 months ago
Hardware atomicity for reliable software speculation
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, ...