4716 search results - page 689 / 944 » Iterative-free program analysis |
159
click to vote
CJ
2010
15 years 2 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 ...
170
click to vote
CORR
2011
Springer
15 years 2 days 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...
155
click to vote
IFIP
2010
Springer
14 years 12 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...
169
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
143
click to vote
JGO
2010
14 years 12 months ago
2010
The best known method to find exact or at least -approximate solutions to polynomial programming problems is the spatial Branch-and-Bound algorithm, which rests on computing lower...