Sciweavers

3616 search results - page 561 / 724
» Support Tucker Machines
Sort
View
ISWC
1999
IEEE
15 years 10 months ago
Smart Sight: A Tourist Assistant System
In this paper, we present our e orts towards developing an intelligent tourist system. The system is equipped with a unique combination of sensors and software. The hardware inclu...
Jie Yang, Weiyi Yang, Matthias Denecke, Alex Waibe...
177
Voted
LICS
1999
IEEE
15 years 10 months ago
Proving Security Protocols Correct
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
Lawrence C. Paulson
VLSID
1999
IEEE
99views VLSI» more  VLSID 1999»
15 years 10 months ago
Array Index Allocation under Register Constraints in DSP Programs
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...
Anupam Basu, Rainer Leupers, Peter Marwedel
EUROMICRO
1998
IEEE
15 years 10 months ago
SMP PCs: A Case Study on Cluster Computing
As commodity microprocessors and networks reach performance levels comparable to those used in massively parallel processors, clusters of symmetric multiprocessors are starting to...
Antônio Augusto Fröhlich, Wolfgang Schr...
FCCM
1998
IEEE
148views VLSI» more  FCCM 1998»
15 years 10 months ago
JHDL - An HDL for Reconfigurable Systems
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
Peter Bellows, Brad L. Hutchings