4266 search results - page 532 / 854 » The container loading problem |
100
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
97
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
124
click to vote
IPTPS
2003
Springer
15 years 7 months ago
2003
Springer
Much of the existing work in peer to peer networking assumes that users will follow prescribed protocols without deviation. This assumption ignores the user’s ability to modify ...
134
Voted
BIBM
2009
IEEE
15 years 7 months ago
2009
IEEE
—A typical cell has a size of only 10 µm while it contains about a billion proteins. Transportation of these proteins from their synthesis sites to their target locations within...
164
Voted
PODS
2010
ACM
15 years 7 months ago
2010
ACM
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...