Sciweavers

7693 search results - page 390 / 1539
» Design and Implementation of the FRIENDS System
Sort
View
FPL
2000
Springer
128views Hardware» more  FPL 2000»
15 years 11 months ago
Verification of Dynamically Reconfigurable Logic
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
David Robinson, Patrick Lysaght
FCCM
2006
IEEE
107views VLSI» more  FCCM 2006»
16 years 1 months ago
Hardware/Software Integration for FPGA-based All-Pairs Shortest-Paths
Field-Programmable Gate Arrays (FPGAs) are being employed in high performance computing systems owing to their potential to accelerate a wide variety of long-running routines. Par...
Uday Bondhugula, Ananth Devulapalli, James Dinan, ...
ACII
2005
Springer
16 years 1 months ago
Informal User Interface for Graphical Computing
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...
Zhengxing Sun, Jing Liu
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
16 years 1 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
16 years 9 days ago
Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
Claudio De Persis, Frédéric Mazenc