Sciweavers

10072 search results - page 1469 / 2015
» Composition of Model Programs
Sort
View
ICC
2007
IEEE
16 years 1 months ago
p-Cycle Network Design for Specified Minimum Dual-Failure Restorability
— Dual-failure scenarios are a real possibility in today’s optical networks and it is becoming more and more important for carriers and network operators to consider them when ...
Wei Li, John Doucette, Ming Zuo
PDP
2007
IEEE
16 years 1 months ago
An Annotation-Based Framework for Parallel Computing
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
Carlos A. Cunha, João Luís Sobral
ICALP
2007
Springer
16 years 1 months ago
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal
ISBRA
2007
Springer
16 years 1 months ago
Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice
Abstract. The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure ...
Minghui Jiang, Martin Mayne, Joel Gillespie
SAT
2007
Springer
126views Hardware» more  SAT 2007»
16 years 1 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
« Prev « First page 1469 / 2015 Last » Next »