Computer and information sciences topic list of research papers
-
A Simple Nominal Type Theory
Abstract Nominal logic is an extension of first-order logic with features useful for reasoning about abstract syntax with bound names. For computational applications such as programming and formal reasoning, it is desirable to develop constructive...
2009 / James Cheney -
Interrupt Verification via Thread Verification
Abstract Most of the research effort towards verification of concurrent software has focused on multithreaded code. On the other hand, concurrency in low-end embedded systems is predominantly based on interrupts. Low-end embedded systems are...
2007 / John Regehr, Nathan Cooprider -
Research on the Performance Evaluation of Chongqing Electric Power Supply Bureaus Based on TOPSIS
Abstract It is difficult to evaluate the performance of the different companies feasibly and fairly only depending on experts. An evaluation model based on TOPSIS (Technique for Order Preference by Similarity to Ideal Solution) is built to solve...
2012 / Wei Huang, YanYan Huang -
Generating Interface Prototype for EnergyPlus IDD File Using Unified Modeling Language and Coloured Petri-nets
Abstract Based on user requirement techniques, this paper suggests a new approach to the generation of a building performance simulation tool interface prototype. This approach requires the Unified Modelling Language (UML) and scenario...
2012 / Bachkhaznadji Abdeldjebbar, Belhamri Azeddine -
An Energy Efficient Routing Protocol for Wireless Sensor Networks using A-star Algorithm
Abstract Sensors are regarded as significant components of electronic devices. In most applications of wireless sensor networks (WSNs), important and critical information must be delivered to the sink in a multi-hop and energy-efficient manner....
2014 / Ali Ghaffari -
Jaccard Index based availability prediction in enterprise grids
Abstract Enterprise Grid enables sharing and aggregation of a set of computing or storage resources connected by enterprise network, but the availability of the resources in this environment varies widely. Thus accurate prediction of the...
2010 / Mustafizur Rahman, Md. Rafiul Hassan, Rajkumar Buyya -
Memristor-based circuits for performing basic arithmetic operations
Abstract In almost all of the currently working circuits, especially in analog circuits implementing signal processing applications, basic arithmetic operations such as multiplication, addition, subtraction and division are performed on values which ...
2011 / Farnood Merrikh-Bayat, Saeed Bagheri Shouraki -
Towards ensuring Satisfiability of Merged Ontology
Abstract The last decade has seen researchers developing efficient algorithms for the mapping and merging of ontologies to meet the demands of interoperability between heterogeneous and distributed information systems. But, still state-of-the-art...
2011 / Muhammad Fahad, Nejib Moalla, Abdelaziz Bouras -
Automated and parallel code generation for finite-differencing stencils with arbitrary data types
Abstract Finite-Differencing and other regular and direct approaches to solving partial differential equations (PDEs) are methods that fit well on data-parallel computer systems. These problems continue to arise in many application areas of...
2010 / K.A. Hawick, D.P. Playne -
A Framework for Running the ADCIRC Discontinuous Galerkin Storm Surge Model on a GPU
Abstract Hybrid architectures utilizing GPUs provide a unique opportunity in a high performance computing environment. However, there are many legacy codes, particularly written in Fortran, that can not take immediate advantage of GPUs. Furthermore, ...
2011 / Michael DuChene, Anna Maria Spagnuolo, Ethan Kubatko, Joannes Westerink, Clint Dawson -
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving
Abstract IEEE 802.11 is a widely used technology which powers many of the digital wireless communication revolutions currently taking place. It uses OFDM (Orthogonal Frequency Division Multiplexing) in its physical layer which is an efficient way to ...
2009 / Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar -
Rule-based approach to recognizing human body poses and gestures in real time2013 / Tomasz Hachaj, Marek R. Ogiela
-
Mechanised Refinement of Procedures
Abstract Refine is a tool that supports the application of Morgan's refinement calculus. It was designed to support teaching and use by beginners; it is already in use. We describe here the extension of Refine to support the...
2007 / Manuela Xavier, Ana Cavalcanti -
Synthesising Features by Games
Abstract We describe an algorithmic method for the synthesis of features. The method takes as input a base system, a triggering condition for the feature, a set of system variables which the feature is allowed to update, and a requirement on the...
2006 / Dimitar P. Guelev, Mark Ryan, Pierre Yves Schobbens -
Web Accessibility Evaluation Tools: A Survey and Some Improvements
Abstract Web Content Accessibility Guidelines (WCAG) from W3C consist of a set of 65 checkpoints or specifications that Web pages should accomplish in order to be accessible to people with disabilities or using alternative browsers. Many of these 65 ...
2006 / Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias Fisteus, Luis Álvarez Álvarez -
Specification and Verification of Protocols With Time Constraints2004 / Margherita Napoli, Mimmo Parente, Adriano Peron
-
Towards Multiple Access in Generic Component Architectures
Abstract The paper introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single provide interface. This framework can be regarded as a...
2007 / M. Klein, J. Padberg, F. Orejas -
Six Themes for Future Concurrency Research
Abstract We list a few themes that might have attention in the coming few years in the area of concurrency research. We talk about widening the scope beyond computer science, about web services and grid computing, about hybrid systems, mobility and...
2006 / J.C.M. Baeten, J.A. Bergstra -
A Grainless Semantics for Parallel Programs with Shared Mutable Data
Abstract We provide a new denotational semantic model, based on “footstep traces”, for parallel programs which share mutable state. The structure of this model embodies a classic principle proposed by Dijkstra: processes should be treated...
2006 / Stephen Brookes -
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
Abstract The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweight tactics with easy to master syntax and semantics. Adding...
2008 / Richard Bubel, Andreas Roth, Philipp Rümmer