Computer and information sciences topic list of research papers
-
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
Abstract Modeling concurrent systems and testing multi-threaded implementations against the model is an exciting field of study. This paper presents work done on constructing and executing test cases for an industrial-size multi-threaded application ...
2009 / Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam -
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Abstract This work discusses the use of parallel graph transformation systems for (multi-formalism) modeling and simulation and their implementation in the meta-modeling tool AToM3. As an example, a simulator for Timed Transition Petri Nets (TTPN)...
2004 / J. de Lara, C. Ermel, G. Taentzer, K. Ehrig -
Complete Test Graph Synthesis For Symbolic Real-time Systems
Abstract We study the synthesis of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the implementation under test (IUT) contains variables and parameters. And by real-time, we mean that the specification of...
2005 / Ahmed Khoumsi -
Towards Contract-based Testing of Web Services
Abstract Web Services are composed by linking together service providers and requestors. To ensure interoperability, the requestor's requirements for a service have to be matched against a service description offered by the provider. ...
2005 / Reiko Heckel, Marc Lohmann -
Weakest Invariant Generation for Automated Addition of Fault-Tolerance
Abstract One of the important tasks in evolving a fault-intolerant program into a fault-tolerant one is to identify the legitimate states (its invariant) from where the original program satisfies its specification. This allows us to ensure that the...
2009 / Fuad Abujarad, Sandeep S. Kulkarni -
Solving Multi-criteria Vehicle Routing Problem by Parallel Tabu Search on GPU
Abstract Transportation plays a crucial role in both production and service industry. In modern times, the importance of supplying the goods on time to warehouses, production units and finally to the customers is not lost on logistic companies....
2013 / Jagiełło Szymon, Żelazny Dominik -
Developing a Distributed Software Defined Networking Testbed for IoT
Abstract The rapid proliferation of the Internet of Things (IoT) has led to growth in the ad-hoc networking scenario. With the recent upcoming technologies of network programmability like SDN may be effectively integrated to create a communication...
2016 / Olivier Flauzac, Carlos Gonzalez, Florent Nolot -
Linking open course wares and open education resources: creating an effective search and recommendation system
Abstract With a growing number of digital libraries and other open education repositories being made available, open education specific recommender and search tools play an important role in helping teachers and learners find relevant resources....
2010 / Brett E. Shelton, Joel Duffin, Yuxuan Wang, Justin Ball -
Face recognition based on ridgelet transforms
Abstract This paper relates to a face recognition and verification technique based on ridgelet transforms. Our proposed method first uses the ridgelet transform of the face image for feature extraction. This involves first applying a sequen- tial...
2010 / Satyajit Kautkar, Rahulkumar Koche, Tushar Keskar, Aniket Pande, Milind Rane, et al. -
SHARE: a web portal for creating and sharing executable research papers
Abstract This paper describes how SHARE (Sharing Hosted Autonomous Research Environments) satisfies the criteria of the Elsevier 2011 Executable Paper Grand Challenge. This challenge aims at disseminating the use of systems that provide reviewers...
2011 / Pieter Van Gorp, Steffen Mazanek -
PFFTC: An improved fast Fourier transform for the IBM cell broadband engine
Abstract The Fast Fourier Transform (FFT) is a widely used algorithm that is frequently employed in environments where high performance is critical. In the context of embedded systems, FFTs often have hard runtime constraints and must be evaluated...
2010 / Andrew Shaffer, Bruce Einfalt, Padma Raghavan -
A resampling strategy for reliable network construction
Abstract In the classical approach to tree reconstruction schemes, such as pair group methods, maximum parsimony or minimum spanning trees, two major problems are not addressed at a fundamental level. First, for numerous kinds of experimental data,...
2011 / Hannes Pouseele, Paul Vauterin, Luc Vauterin -
The Lüroth semigroups of a curve over a non-algebraically closed field
Abstract Let C ⊂ P ...
2013 / E. Ballico -
PsychoPy—Psychophysics software in Python
Abstract The vast majority of studies into visual processing are conducted using computer display technology. The current paper describes a new free suite of software tools designed to make this task easier, using the latest advances in hardware and ...
2007 / Jonathan W. Peirce -
An Introduction to Software Testing
Abstract The development of large software systems is a complex and error prone process. Faults might occur at any development stage and they must be identified and removed as early as possible to stop their propagation and reduce verification...
2006 / Luciano Baresi, Mauro Pezzè -
Process Algebraic Non-product-forms
Abstract A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interacting processes such as arise in multi-class queueing networks...
2006 / P.G. Harrison -
Preface2009 / Jesús M. Almendros-Jiménez
-
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Abstract Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-understood. The combination however is difficult, both for...
2008 / Bart Jacobs -
Preface2007 / Francisco J. López Fraguas
-
Diagrammatic Formal Specification of a Configuration Control Platform
Abstract This paper presents a diagrammatic logic framework that is suitable for use in formal specification and for reasoning about and refining formal software models. We take a case study style approach to presenting the framework by developing,...
2009 / John Howse, Steve Schuman, Gem Stapleton, Ian Oliver