Browsing by Subject "Computer systems programming"
Now showing items 1-8 of 8
-
Article
Configuration and dynamic reconfiguration of components using the coordination paradigm
(2001)One of the most promising approaches in developing component-based (possibly distributed) systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to ...
-
Article
Distributed and parallel systems engineering in MANIFOLD
(1998)A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to express different software ...
-
Article
Experience using an intermediate compiler target language for parallel machines
(1997)The generalised computational model of term graph rewriting systems (TGRSs) has been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional ...
-
Conference Object
A grid-enabled digital library system for natural disaster metadata
(2005)The need to organize and publish metadata about European research results in the field of natural disasters has been met with the help of two innovative technologies: the Open Grid Service Architecture (OGSA) and the ...
-
Article
A multimedia programming model based on timed concurrent constraint programming
(1998)We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The ...
-
Article
Object-oriented term graph rewriting
(1999)The relationship between the generalised computational model of Term Graph Rewriting Systems (TGRS) and Object-Oriented Programming (OOP) is explored and exploited by extending the TGRS model with records where access to ...
-
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
Using aspect-oriented software development in real-time embedded systems software: A review of scheduling, resource allocation and synchronization
(2006)Timeliness and criticality of a process are the two main concerns when designing real-time systems. In addition to that embedded systems are bounded by limited resources. To achieve these concerns while at the same time ...