Computer and information sciences topic list of research papers
-
Towards Formally Specifying and Verifying Transactional Memory
Abstract We describe ongoing work in which we aim to formally specify a correctness condition for transactional memory (TM) called Weakest Reasonable Condition (WRC), and to facilitate fully formal and machine-checked proofs that TM implementations...
2010 / Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir -
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
Abstract An interesting formal approach to specify component interfaces is interface automata based approach, which is proposed by L. Alfaro and T. Henzinger. These formalisms have the ability to model both the input and output requirements of...
2010 / Samir Chouali, Hassan Mountassir, Sebti Mouelhi -
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Abstract Synthesis of reversible and quantum logic has become an intensely studied topic in the last years. However, most synthesis methods are limited, since they rely on a truth table representation of the function to be synthesized. BDD-based...
2010 / Robert Wille, Rolf Drechsler -
A Semiring-based Quantitative Analysis of Mobile Systems
Abstract We present in this paper, semi-π, an extension of the π-calculus that allows processes to query quantitative values of different actions and decide based on those values, whether an action is feasible or not. Our measure of quantity is...
2006 / Benjamin Aziz -
Adhesive DPO Parallelism for Monic Matches
Abstract This paper presents indispensable technical results of a general theory that will allow to systematically derive from a given reduction system a behavioral congruence that respects concurrency. The theory is developed in the setting of...
2007 / Filippo Bonchi, Tobias Heindel -
Formal Verification of a Reader-Writer Lock Implementation in C
Abstract We present the formal verification of a reader-writer lock implementation, which is a widely used synchronization primitive in multithreaded code. Specifications are given at the level of C code in the annotation language of Microsoft's...
2009 / Mark A. Hillebrand, Dirk C. Leinenbach -
Towards a Logic for Performance and Mobility
Abstract Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architecture configuration are key issues. Sto ...
2006 / Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink -
Preface2006 / Byron Cook, Scott Stoller, Willem Visser
-
System Description: Delphin – A Functional Programming Language for Deductive Systems
Abstract Delphin is a functional programming language [Adam Poswolsky and Carsten Schürmann. Practical programming with higher-order encodings and dependent types. In European Symposium on Programming (ESOP), 2008] utilizing dependent higher-order...
2009 / Adam Poswolsky, Carsten Schürmann -
Why Aspect-Oriented Software Development And Model-Driven Development Are Not The Same – A Position Paper –
Abstract Aspect-Oriented Software Development (AOSD) and Model-Driven Development (MDD) are often said to be alike since both approaches are based on the selection of elements (i.e. join points in AOSD and model elements in MDD) and their subsequent ...
2006 / Dominik Stein, Stefan Hanenberg -
Modeling the Lion Attack in Cognitive Radio Networks2010 / Juan Hernandez-Serrano, Olga León, Miguel Soriano
-
A Fast Multifractal Model for Self-Similar Traffic Flows in High-Speed Computer Networks
Abstract This paper proposes a new multifractal model, with the aim of providing a possible explanation for the locality phenomenon that appears in the estimation of the Hurst exponent in stationary second order temporal series representing...
2013 / G. Millán, G. Lefranc -
Development of a High-speed Eigenvalue-solver for Constant Plasma Monitoring on a Cell Cluster System
Abstract We developed a high speed eigenvalue solver that is an essential part of a plasma stability analysis system for fusion reactors on a Cell cluster system. In order to achieve continuous operation of fusion reactors, we must evaluate the...
2011 / Noriyuki Kushida, Ken-ichi Fujibayashi, Hiroshi Takemiya -
Security analysis of password hardened multimodal biometric fuzzy vault with combined feature points extracted from fingerprint, iris and retina for high security applications
Abstract Establishing the identity of an individual is very crucial in the present times. Biometric authentication has proved itself superior compared to the traditional password based authentication in many respects. Nevertheless, biometric systems ...
2010 / V.S. Meenakshi, Dr.G. Padmavathi -
A software environment for a human-aware ambient agent supporting attention-demanding tasks
Abstract This paper presents a software environment for a human-aware ambient agent providing support for a human performing an attention-demanding task. The agent obtains human attention-awareness by use of a dynamical model of human attention,...
2010 / Zulfiqar A. Memon, Rogier Oorburg, Jan Treur, Muhammad Umair, Michael de Vos -
Input resolution and its effect of the printed image quality on digital toner printing systems (case study – Sinai, Egypt)
Abstract The resolution is considered as one of the most important factors which controls the quality of the printed image, whether input resolution (digital camera–scanner) or output resolution (printer–computer to film, plate or paper). ...
2010 / R.Sh. Mohamed, G.A. Yousif -
Ethical requirements for reconfigurable sensor technology: a challenge for value sensitive design2013 / Francien Dechesne, Martijn Warnier, Jeroen van den Hoven
-
A List-machine Benchmark for Mechanized Metatheory
Abstract We propose a benchmark to compare theorem-proving systems on their ability to express proofs of compiler correctness. In contrast to the first POPLmark, we emphasize the connection of proofs to compiler implementations, and we point out...
2007 / Andrew W. Appel, Xavier Leroy -
A Spectral Order for Infinite Dimensional Quantum Spaces
Abstract In 2002 Coecke and Martin created a Bayesian order for the finite dimensional spaces of classical states in physics and used this to define a similar order, the spectral order on the finite dimensional quantum states. These orders gave the...
2007 / Joe Mashburn -
Sheaves, Objects, and Distributed Systems
Abstract We review and extend some recent work that uses sheaf theory to provide a semantic foundation for distributed concurrent systems. A sheaf can be thought of as a system of observations on a topological space, with the key property that...
2009 / Grant Malcolm