2594 search results - page 148 / 519 » Stabilization of Systems with Changing Dynamics |
159
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
159
click to vote
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
Mobile ad hoc networking is an operating mode for rapid mobile host interconnection, where nodes rely on each other, in order to maintain network connectivity and functionality. S...
123
click to vote
AP2PC
2003
Springer
15 years 9 months ago
2003
Springer
The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...
116
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
138
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Content Delivery Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, wi...