Computer and information sciences topic list of research papers
-
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Abstract Due to the high level of abstraction involved in formal specification of software systems, nondeterminism comes as an inevitable part of formal specifications. Therefore, support for nondeterminism should be provisioned in developing...
2006 / Hassan Haghighi, Seyyed Hassan Mirian Hosseinabadi -
A Partial Type Checking Algorithm for Type:Type
Abstract We analyze a partial type checking algorithm for the inconsistent domain-free pure type system Type:Type (λ⁎). We show that the algorithm is sound and partially complete using a coinductive specification of algorithmic equality. This...
2011 / Andreas Abel, Thorsten Altenkirch -
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Abstract We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by a desire for structurally and semantically rigorous discrete...
2007 / David Pym, Chris Tofts -
Validating for Liveness in Hidden Adversary Systems
Abstract Multi-stream interactive systems can be seen as “hidden adversary” systems (HAS), where the observable behaviour on any interaction channel is affected by interactions happening on other channels. One way of modelling HAS is in the form of...
2008 / Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D -
Computing SSA Form with Matrices
Abstract Static Single-Assignment (SSA) form is an efficient intermediate representation used in virtual machines and modern compilers. It provides data flow information that simplifies the implementation of standard program optimisations such as...
2007 / Quan Hoang Nguyen, Bernhard Scholz -
Preface2009 / Andrea Corradini
-
Functions and Lazy Evaluation in Prolog
Abstract There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded) into Prolog predicates, analogously to what is done for...
2008 / Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández -
Tickling Java with a Feather
Abstract Fragments of mainstream programming languages are formalised in order to show desirable properties of their static semantics. We ask if said formalisms could also be used to define a test suite for the mainstream programming language in...
2009 / Tristan O.R. Allwood, Susan Eisenbach -
Towards an XML-based Bytecode Level Transformation Framework
Abstract Virtual machines (VMs) facilitate the deployment of applications in heterogeneous environments. Popular VMs such as Sun Microsystem's Java VM or Microsoft's Common Language Runtime (CLR) use a stack-based machine architecture to execute...
2009 / Arno Puder, Jessica Lee -
iRho: the Software
Abstract This paper describes the first implementation of an interpreter for iRho, an imperative version of the Rewriting-calculus, based on pattern-matching, pattern-abstractions, and side-effects. The implementation contains a parser and a...
2006 / Luigi Liquori -
Advanced Information Retrieval
Abstract In this paper we explore some of the most important areas of advanced information retrieval. In particular, we look at cross-lingual information retrieval, multimedia information retrieval and semantic-based information retrieval....
2009 / Fuji Ren, David B. Bracewell -
Predicate and Relation Lifting for Parametric Algebraic Specifications
Abstract Relation lifting [Hermida, C. and B. Jacobs, Structural induction and coinduction in a fibrational setting, Information and Computation 145 (1998), pp. 107–152] extends an endofunctor F : ...
2004 / Hendrik Tews -
Voice-to-Phoneme Conversion Algorithms for Voice-Tag Applications in Embedded Platforms2008 / Yan Ming Cheng, Changxue Ma, Lynette Melnar
-
OpenMP parallelization of the SCIARA Cellular Automata lava flow model: performance analysis on shared-memory computers
Abstract Parallel Computing represents a valid solution for reducing execution times in simulations of complex geological processes, such as lava flows, debris flows and, in general, of fluid-dynamic processes. In these cases, Cellular Automata (CA) ...
2011 / Marco Oliverio, William Spataro, Donato D’Ambrosio, Rocco Rongo, Giuseppe Spingola, et al. -
Enabling HMMER for the Grid with COMP Superscalar
Abstract The continuously increasing size of biological sequence databases has motivated the development of analysis suites that, by means of parallelization, are capable of performing faster searches on such databases. However, many of these tools...
2010 / Enric Tejedor, Rosa M. Badia, Romina Royo, Josep L. Gelpí -
Early performance evaluation of AVX for HPC
Abstract In this paper we take a look at what the new Intel instruction extensions - Intel Advance Vector Extensions (AVX) brings to high performance computing. We compare two configurations of Intel CPU based systems (one enabled with AVX and a...
2011 / Pawel Gepner, Victor Gamayunov, David L. Fraser -
Adding semantics to the reliable object annotated image databases
Abstract Semantically enriched multimedia information is crucial for equipping the kind of multimedia search potentials that professional searchers need. But the semantic interpretation of multimedia is obsolete without some mechanism for...
2011 / Irfanullah, Nida Aslam, Jonathan Loo, Roohullah, Martin Loomes -
Security issues in routing protocols in MANETs at network layer
Abstract MANET stands for “Mobile Ad Hoc Network”. Mobile ad hoc network (MANET) is an autonomous system of mobile nodes connected by wireless links. Each node operates not only as an end system, but also as a router to forward packets. The nodes...
2011 / Praveen Joshi -
High-performance astrophysical visualization using Splotch
Abstract The scientific community is presently witnessing an unprecedented growth in the quality and quantity of data sets coming from simulations and real-world experiments. To access effectively and extract the scientific content of such...
2010 / Zhefan Jin, Mel Krokos, Marzia Rivi, Claudio Gheller, Klaus Dolag, et al. -
GX-Means: A model-based divide and merge algorithm for geospatial image clustering
Abstract One of the practical issues in clustering is the specification of the appropriate number of clusters, which is not obvious when analyzing geospatial datasets, partly because they are huge (both in size and spatial extent) and high...
2011 / Ranga R. Vatsavai, Christopher T. Symons, Varun Chandola, Goo Jun