Sciweavers

1216 search results - page 143 / 244
» Hybrid type checking
Sort
View
FOAL
2008
ACM
15 years 5 months ago
Incremental analysis of interference among aspects
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
Emilia Katz, Shmuel Katz
GLOBECOM
2006
IEEE
15 years 10 months ago
A Field Study on Terrestrial and Satellite Location Sources for Urban Cellular Networks
— This work presents a statistical field study of the availability of time sources for location in a true wireless network. Terrestrial (base stations) and satellite (GPS) source...
Israel Martín-Escalona, Francisco Barcel&oa...
ICMCS
2006
IEEE
82views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Block-based Fast Compression for Compound Images
—This paper presents a novel block-based fast compression (BFC) algorithm for compound images that contain graphics, text and natural images. The images are divided to blocks, wh...
Wenpeng Ding, Dong Liu, Yuwen He, Feng Wu
AISS
2010
161views more  AISS 2010»
15 years 1 months ago
Two GRASP Metaheuristic for the Capacitated Vehicle Routing Problem Considering Split Delivery and Solving the Three Dimensional
The vehicle routing problem consists in determining a group of optimal delivery routes that allow satisfaction of the demand from customers spread along a network, which can be re...
Joseph Gallart Suarez, Manuel Tupia Anticona
146
Voted
DFT
2007
IEEE
101views VLSI» more  DFT 2007»
15 years 10 months ago
Power Attacks Resistance of Cryptographic S-Boxes with Added Error Detection Circuits
Many side-channel attacks on implementations of cryptographic algorithms have been developed in recent years demonstrating the ease of extracting the secret key. In response, vari...
Francesco Regazzoni, Thomas Eisenbarth, Johann Gro...