15253 search results - page 2955 / 3051 » Integer-Programming Software Systems |
121
click to vote
CACM
2008
15 years 2 months ago
2008
The wireless sensor network community approached netabstractions as an open question, allowing answers to emerge with time and experience. The Trickle algorithm has become a basic...
136
click to vote
DC
2010
15 years 2 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
133
click to vote
GEOINFORMATICA
2008
15 years 2 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
122
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
122
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: In the fly Drosophila melanogaster, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain are rapidly accumulating. ...