12519 search results - page 2445 / 2504 » Approximation Problems Categories |
150
Voted
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
158
Voted
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
Recent analytical and experimental work demonstrate that IEEE 802.11-based wireless mesh networks are prone to turbulence. Manifestations of such turbulence take the form of large...
148
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Text analysis tools are nowadays required to process increasingly large corpora which are often organized as small files (abstracts, news articles, etc). Cloud computing offers a ...
157
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...
131
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...