Sciweavers

11381 search results - page 389 / 2277
» Connectivity
Sort
View
DATE
2002
IEEE
126views Hardware» more  DATE 2002»
15 years 11 months ago
Automated Modeling of Custom Digital Circuits for Test
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...
Soumitra Bose
HPDC
2002
IEEE
15 years 11 months ago
An Evaluation of Object-Based Data Transfers on High Performance Networks
In this paper, we describe FOBS: a simple userlevel communication protocol designed to take advantage of the available bandwidth in a highbandwidth, high-delay network environment...
Phillip M. Dickens, William Gropp
203
Voted
TAMC
2009
Springer
15 years 11 months ago
Feasibility of Motion Planning on Directed Graphs
Because of irreversibility of movements, motion planning on directed graphs is much more intricate than that on graphs. Recently we showed that the feasibility of motion planning o...
Zhilin Wu, Stéphane Grumbach
WMCSA
2000
IEEE
15 years 11 months ago
Networked surfaces: a new concept in mobile networking
Networked Surfaces are surfaces which provide network connectivity to specially augmented objects, when these objects are physically placed on top of the surface. When an object (...
James Scott, Frank Hoffmann, Mike Addlesee, Glenfo...
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 11 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs