Sciweavers

1154 search results - page 174 / 231
» Mathematizing C concurrency
Sort
View
IMR
2004
Springer
14 years 2 months ago
Identification and Preservation of Surface Features
A surface is often approximated by a network of triangular facets. In the absence of a precise mathematical description of the underlying surface all information about surface pro...
Timothy J. Baker
WCW
2004
Springer
14 years 2 months ago
Dynamic Content Placement for Mobile Content Distribution Networks
As wireless networks increase in popularity, the development of efficient content distribution techniques to meet the growing and constantly changing client demand becomes a necess...
Wagner Moro Aioffi, Geraldo Robson Mateus, Jussara...
CSB
2003
IEEE
135views Bioinformatics» more  CSB 2003»
14 years 2 months ago
Stepping Up the Pace of Discovery: the Genomes to Life Program
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
Marvin Frazier, David Thomassen, Aristides Patrino...
STEP
2003
IEEE
14 years 2 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
PODC
2003
ACM
14 years 2 months ago
Compact roundtrip routing with topology-independent node names
This paper presents compact roundtrip routing schemes with local tables of size ˜O( √ n) and stretch 6 for any directed network with arbitrary edge weights; and with local tabl...
Marta Arias, Lenore Cowen, Kofi A. Laing