Sciweavers

3706 search results - page 365 / 742
» KtSeqC: System Description
Sort
View
PICS
2000
15 years 8 months ago
A Portable Image Analysis System for Performing In Situ Image Quality Measurements
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...
David Wolin, Yair Kipman
CATA
2010
15 years 7 months ago
A Hardware Implementation of the Advanced Encryption Standard (AES) Algorithm using SystemVerilog
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
Bahram Hakhamaneshi, Behnam S. Arad
APIN
2006
107views more  APIN 2006»
15 years 7 months ago
Architecture and dialogue design for a voice operated information system
Abstract In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to real-time data coming from automatic sensors, ...
Luis Villarejo, Javier Hernando, Núria Cast...
VLSISP
2008
93views more  VLSISP 2008»
15 years 6 months ago
Performance and Energy Consumption Improvements in Microprocessor Systems Utilizing a Coprocessor Data-Path
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...
Michalis D. Galanis, Gregory Dimitroulakos, Costas...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...