Sciweavers

1679 search results - page 312 / 336
» Strong order equivalence
Sort
View
INFOCOM
2006
IEEE
14 years 2 months ago
The Internet Dark Matter - on the Missing Links in the AS Connectivity Map
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
Rami Cohen, Danny Raz
VTS
2006
IEEE
122views Hardware» more  VTS 2006»
14 years 2 months ago
Mixed PLB and Interconnect BIST for FPGAs Without Fault-Free Assumptions
We tackle the problem of fault-free assumptions in current PLB and interconnect built-in-self-test (BIST) techniques for FPGAs. These assumptions were made in order to develop stro...
Vishal Suthar, Shantanu Dutt
3DGIS
2006
Springer
14 years 2 months ago
Digital Terrain Models Derived from SRTM Data and Kriging
The objective of this work is to define procedures to improve spatial resolution of SRTM data and to evaluate their applicability in the Serra Negra region, in the district of Pat...
T. Bernardes, I. Gontijo, H. Andrade, T. G. C. Vie...
ASSETS
2006
ACM
14 years 2 months ago
Attention analysis in interactive software for children with autism
This work is a part of an ongoing project that focuses on potential applications of an interactive system that helps children with autism. Autism is classified as a neurodevelopm...
A. Ould Mohamed, Vincent Courboulay, Karim Sehaba,...
HASKELL
2006
ACM
14 years 2 months ago
Statically typed linear algebra in Haskell
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
Frederik Eaton