6960 search results - page 1097 / 1392 » Continuity Analysis of Programs |
172
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
145
click to vote
CIDU
2010
15 years 1 months ago
2010
Given any collection of data cells in a data space X, consider the problem of finding the optimal partition of the data cells into blocks which are unions of cells. The algorithms...
151
click to vote
CJ
2010
15 years 1 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
163
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
144
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...