Computer and information sciences topic list of research papers
-
A platform independent communication library for distributed computing
Abstract We present MPWide, a platform independent communication library for performing message passing between supercomputers. Our library couples several local MPI applications through a long distance network using, for example, optical links. The ...
2010 / Derek Groen, Steven Rieder, Paola Grosso, Cees de Laat, Simon Portegies Zwart -
Design and Implementation of a Runtime System for Parallel Numerical Simulations on Large-Scale Clusters
Abstract The execution of scientific codes will introdu ce a number of new challenges and intensify some old ones on new high-performance computing infrastructures. Petascale computers are large systems with complex designs using heterogeneous...
2011 / Michael Schliephake, Xavier Aguilar, Erwin Laure -
Modelling the Runtime of the Gaussian Computational Chemistry Application and Assessing the Impacts of Microarchitectural Variations
Abstract This paper explores the use of a simple linear performance model, that determines execution time based instruction and cache miss counts, for describing the behaviour of two-electron integral evaluation algorithm in the Gaussian...
2011 / Joseph Antony, Alistair P. Rendell, Rui Yang, Gary Trucks, Michael J. Frisch -
Robust dynamic block-based image watermarking in DWT domain
Abstract Digital watermarking is a method for protecting copyrighted materials such as digital images. This paper presents a new watermark embedding technique based on Discrete Wavelet Transform (DWT) for hiding little but important information in...
2011 / Mohammad-Reza Keyvanpour, Farnoosh Merrikh-Bayat -
Visual Specification of Systems with Heterogeneous Coordination Models
Abstract In this paper a prototype of a visual specification language called Visual Coordination Diagrams (VCD) for high-level design of concurrent systems with heterogeneous coordination models is presented. The key property of VCD is the...
2007 / David Šafránek -
Proofs as Polynomials
Abstract Girard's Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. In previous work we introduced a typed version of GoI, called Multiobject GoI (MGoI) for multiplicative linear logic...
2008 / Esfandiar Haghverdi, Philip J. Scott -
Run-Time Checking of Dynamic Properties
Abstract We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of quantifiers to bind free variables in a formula. One kind...
2006 / Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim -
Audit-Based Access Control for Electronic Health Records
Abstract Traditional access control mechanisms aim to prevent illegal actions a-priori occurrence, i.e. before granting a request for a document. There are scenarios however where the security decision can not be made on the fly. For these settings...
2007 / M.A.C. Dekker, S. Etalle -
Preface2009 / Sandeep Shukla, Jean-Pierre Talpin
-
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Abstract The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the physical environment and the activities that are to be carried...
2010 / Michael D. Harrison, Mieke Massink -
Specifying Proof Systems in Linear Logic with Subexponentials
Abstract In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logicʼs finer control on structural rules, it is possible to match the structural restrictions specified in...
2011 / Vivek Nigam, Elaine Pimentel, Giselle Reis -
OverView: A Framework for Generic Online Visualization of Distributed Systems
Abstract Visualizing, testing and debugging distributed systems is a challenging task that is not well ad- dressed by conventional software tools. OverView, an event-based Eclipse plug-in that provides runtime visualization of systems running on...
2004 / Travis Desell, Harihar Narasimha Iyer, Carlos Varela, Abe Stephens -
On Rule Formats for Zero and Unit Elements
Abstract This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule...
2010 / Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers -
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars
Abstract The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensibility. Additional improvements can be achieved with...
2006 / Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda Pereira -
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Abstract There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalence. We are interested in the relationship between these two...
2008 / David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino -
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions
Abstract This paper describes the semi-formal semantics and a run-time monitoring technique for TLCharts, a visual specification language that combines the visual and intuitive appeal of non-deterministic Harel Statecharts with formal specifications ...
2005 / Doron Drusinsky -
Policy Analysis and Verification by Graph Transformation Tools
Abstract Policies are used to control the behavior of large-scale systems. After policies are designed and before policies are implemented, it should be possible to analyze the policies and verify that they behave as expected. Graph transformations...
2005 / Francesco Parisi-Presicce, Yujie Zhao -
Issues in Integrating Schemas for Reverse Engineering
Abstract After adopting a standard format such as GXL to exchange graphs of artifacts for reverse engineering tools, the next logical step is to define an appropriate schema for the information contained in the graphs. Various researchers have...
2004 / Daniel L. Moise, Kenny Wong -
A Coding Rule Conformance Checker Integrated into GCC
Abstract Coding rules are often used in industry to foster best practices when coding software and to avoid the many hazardous constructions present in languages such as C or C++. Predictable, reliable tools are needed to automatically measure...
2009 / Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, et al. -
Term Equational Systems and Logics
Abstract We introduce an abstract general notion of system of equations between terms, called Term Equational System, and develop a sound logical deduction system, called Term Equational Logic, for equational reasoning. Further, we give an analysis...
2008 / Marcelo Fiore, Chung-Kil Hur