218 search results - page 3 / 44 » Consistency without concurrency control in large, dynamic sy... |
109
click to vote
CAISE
2001
Springer
15 years 3 months ago
2001
Springer
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
100
click to vote
SASO
2008
IEEE
15 years 5 months ago
2008
IEEE
The distribution of data in large dynamic wireless sensor networks presents a difficult problem due to node mobility, link failures, and traffic congestion. In this paper, we pr...
SIAMCO
2002
14 years 11 months ago
2002
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
102
click to vote
TAP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
WMCSA
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we study the inconsistency problem in data broadcast. While data items in a mobile computing system are being broadcast, update transactions may install new values ...