Τμήμα Πληροφορικής / Department of Computer Science: Recent submissions
Now showing items 581-600 of 1952
-
Book Chapter
Distributed Databases and Transaction Processing
(John Wiley and Sons, 2012)
-
Article
A rigorous analysis of concurrent operations on B-trees
(1997)An account is given of a rigorous study of concurrent operations on a variant of the B-tree in the framework of a general theory of concurrent systems, an extension of the r-calculus. The assertion of correctness of the ...
-
Article
On transformations of concurrent-object programs
(1998)Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent-object languages are given. Their correctness is proved on the basis of a semantic definition by ...
-
Article
Process ordering in a process calculus for spatially-explicit ecological models
(2014)In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...
-
Article
Hiding resources that can fail: An axiomatic perspective
(2001)In earlier work, we presented a process algebra, PACSR, that uses a notion of resource failure to capture probabilistic behavior in reactive systems. PACSR also supports an operator for resource hiding. In this paper, we ...
-
Article
Simulation and verification in a process calculus for spatially-explicit ecological models
(2013)We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit individual-based ecological models and to reason about their behavior. PALPS has two abstraction ...
-
Article
Verification techniques for distributed algorithms
(2006)A value-passing, asynchronous process calculus and its associated theory of confluence are considered as a basis for establishing the correctness of distributed algorithms. In particular, we present an asynchronous version ...
-
Article
A process-calculus analysis of concurrent operations on B-trees
(2001)A general theory of interactive systems with changing structure, the π-calculus, is used to study concurrent operations on a variant of the B-tree. An improved algorithm for compression of the data structure is given. Some ...
-
Conference Object
A fully automated method using active contours for the evaluation of the intima-media thickness in carotid US images
(2011)The thickness of the intima-media complex (IMC) of the common carotid artery (CCA) wall is important in the evaluation of the risk for the development of atherosclerosis. This paper presents a fully automated algorithm for ...
-
Conference Object
Atherosclerotic carotid wall segmentation in ultrasound images using Markov random fields
(2010)This work explores the segmentation of the intima-media complex (IMC) of the common carotid artery (CCA) wall for the evaluation of the intima media thickness (IMT) on B-mode ultrasound images. The IMT provides important ...
-
Article
A fully automated method using active contours for the evaluation of the intima-media thickness in carotid US images.
(2011)The thickness of the intima-media complex (IMC) of the common carotid artery (CCA) wall is important in the evaluation of the risk for the development of atherosclerosis. This paper presents a fully automated algorithm for ...
-
Article
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
(2012)As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
-
Article
Probabilistic resource failure in real-time process algebra
(1998)PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...
-
Article
Weak bisimulation for probabilistic systems
(2000)In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and nondeterministic behavior. By resolving the ...
-
Doctoral Thesis
Reasoning about systems with evolving structure
(University of Warwick, 1996)
-
Article
A process algebraic framework for modeling resource demand and supply
(2010)As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
-
Article
Segmentation of the common carotid intima-media complex in ultrasound images using active contours
(2012)The segmentation of the intima-media complex (IMC) of the common carotid artery (CCA) wall is important for the evaluation of the intima media thickness (IMT) on B-mode ultrasound (US) images. The IMT is considered an ...
-
Conference Object
Investigation of AM-FM methods for mammographic breast density classification
(2013)Breasts are composed of a mixture of fibrous and glandular tissue as well as adipose tissue and breast density describes the prevalence of fibroglandular tissue as it appears on a mammogram. Over the past few years, ...
-
Conference Object
Addressing the challenges of future large-scale many-core architectures
(2013)Current processor trends show an increasing number of cores and a diversity of characteristics among them. Such processors offer a large potential for achieving high performance for different applications. Nevertheless, ...
-
Conference Object
Exploring database workloads on future clustered many-core architectures
(2011)Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that process large data sets. Traditionally, DSS queries have been accelerated using large-scale multiprocessor. In ...