Sciweavers

7527 search results - page 1463 / 1506
» Design and implementation of the KioskNet system
Sort
View
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 25 days ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
TCIAIG
2010
15 years 24 days ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
178
Voted
TSP
2010
15 years 23 days ago
Generalized discrete Fourier transform with nonlinear phase
Constant modulus transforms like discrete Fourier transform (DFT), Walsh transform, and Gold codes have been successfully used over several decades in several engineering applicati...
Ali N. Akansu, Handan Agirman-Tosun
TVLSI
2010
15 years 23 days ago
A Low-Area Multi-Link Interconnect Architecture for GALS Chip Multiprocessors
A new inter-processor communication architecture for chip multiprocessors is proposed which has a low area cost, flexible routing capability, and supports globally asynchronous loc...
Zhiyi Yu, Bevan M. Baas
VLSI
2010
Springer
15 years 23 days ago
SESAM extension for fast MPSoC architectural exploration and dynamic streaming applications
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
Nicolas Ventroux, Tanguy Sassolas, Raphael David, ...
« Prev « First page 1463 / 1506 Last » Next »