Sciweavers

3466 search results - page 353 / 694
» Fast computation of special resultants
Sort
View
ASPDAC
2005
ACM
72views Hardware» more  ASPDAC 2005»
15 years 8 months ago
TERPS: the embedded reliable processing system
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
Hongxia Wang, Samuel Rodríguez, Cagdas Diri...
CCIA
2005
Springer
15 years 8 months ago
Multi-Objective Multicast Routing based on Ant Colony Optimization
This work presents a new multiobjective algorithm based on ant colonies, which is used in the construction of the multicast tree for data transmission in a computer network. The pr...
Diego Pinto, Benjamín Barán, Ram&oac...
EHCI
2001
15 years 8 months ago
A Unifying Reference Framework for the Development of Plastic User Interfaces
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
Gaëlle Calvary, Joëlle Coutaz, David The...
WWW
2010
ACM
15 years 7 months ago
Finding algorithms in scientific articles
Algorithms are an integral part of computer science literature. However, none of the current search engines offer specialized algorithm search facility. We describe a vertical sea...
Sumit Bhatia, Prasenjit Mitra, C. Lee Giles
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 7 months ago
Shortest paths between shortest paths and independent sets
We study problems of reconguration of shortest paths in graphs. We prove that the shortest reconguration sequence can be exponential in the size of the graph and that it is NP-hard...
Marcin Kaminski, Paul Medvedev, Martin Milanic