Computer and information sciences topic list of research papers
-
DeSpec: Modeling the Windows Driver Environment11This work was partially supported by the Czech Academy of Sciences project 1ET400300504 and the Grant Agency of the Czech Republic project GD201/05/H014.
Abstract This paper introduces a new object-oriented specification and modeling language called DeSpec. The language targets primarily model checking in the Windows NT kernel driver environment. It integrates the majority of Zing modeling language...
2009 / Tomas Matousek, Pavel Jezek -
Formalizing WSBPEL Business Processes Using Process Algebra
Abstract Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support...
2006 / Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo -
Modularity and Implementation of Mathematical Operational Semantics
Abstract Structural operational semantics is a popular technique for specifying the meaning of programs by means of inductive clauses. One seeks syntactic restrictions on those clauses so that the resulting operational semantics is well-behaved....
2011 / Mauro Jaskelioff, Neil Ghani, Graham Hutton -
Fast Escape Analysis for Region-based Memory Management
Abstract We present an algorithm for escape analysis inspired by, but more precise than, the one proposed by Gay and Steensgaard [D. Gay and B. Steensgaard. Fast escape analysis and stack allocation for object-based programs. In CC'00....
2005 / G. Salagnac, S. Yovine, D. Garbervetsky -
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Abstract An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The manual writing of this specification by a designer is a...
2010 / Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel -
Approximations of Modal Logic K
Abstract Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This procedure has a clear semantics and a natural proof theory in the ...
2005 / Guilherme de Souza Rabello, Marcelo Finger -
Modeling Component Connectors in Reo by Constraint Automata
Abstract Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given...
2004 / Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani -
A Proposal for Disequality Constraints in Curry
Abstract We describe the introduction of disequality constraints over algebraic data terms in the functional logic language Curry, and their implementation in Sloth, our Curry compiler. This addition extends the standard definition of Curry in...
2007 / Emilio Jesús Gallego Arias, Julio Mariño Carballo, José María Rey Poza -
Abstractions of Euler Diagrams
Abstract Euler diagrams are a graphical means to represent information. Providing an abstraction captures the pertinent information precisely, ignoring irrelevant details (where relevancy is dependent upon the application domain). We present two new ...
2005 / Andrew Fish, Jean Flower -
There are no Aspects
Abstract In this paper, we claim that a specialized aspect module is not required. Instead, we propose an expressive aspect-oriented composition mechanism which can be applied upon existing modules. At the design level, the CoCompose modeling...
2005 / Davy Suvée, Wim Vanderperren, Dennis Wagelaar, Viviane Jonckers -
Control Flow Analysis for the Applied π–calculus2004 / Roberto Zunino
-
JOLIE: a Java Orchestration Language Interpreter Engine
Abstract Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalities by exhibiting their interfaces and that can be invoked by ...
2007 / Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro -
Routing strategy in disconnected mobile ad hoc networks with group mobility2013 / Ling Fu Xie, Peter Han Joo Chong, Yong Liang Guan
-
User-defined events for hardware performance monitoring
Abstract PAPI is a widely used cross-platform interface to hardware performance counters. PAPI currently supports native events, which are those provided by a given platform, and preset events, which are pre-defined events thought to be common...
2011 / Shirley Moore, James Ralph -
Towards mechanical derivation of Krylov solver libraries2010 / Victor Eijkhout, Paolo Bientinesi, Robert van de Geijn
-
The IPOL Initiative: Publishing and Testing Algorithms on Line for Reproducible Research in Image Processing
Abstract Image Processing On Line (IPOL) publishes image processing and image analysis algorithms, described in ac-curate literary form, coupled with code. It allows scientists to check directly the published algorithms on line by providing a web...
2011 / Nicolas Limare, Jean-Michel Morel -
Can search algorithms save large-scale automatic performance tuning?
Abstract Empirical performance optimization of computer codes using autotuners has received significant attention in recent years. Given the increased complexity of computer architectures and scientific codes, evaluating all possible code variants...
2011 / Prasanna Balaprakash, Stefan M. Wild, Paul D. Hovland -
Towards generating optimised finite element solvers for GPUs from high-level specifications
Abstract We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-specific language. We make the case for using one such language,...
2010 / Graham R. Markall, David A. Ham, Paul H.J. Kelly -
Ensembles and locality: Insight on improving software effort estimation
Abstract Context Ensembles of learning machines and locality are considered two important topics for the next research frontier on Software Effort Estimation (SEE). Objectives ...
2012 / Leandro L. Minku, Xin Yao -
A Literature Survey on International Standards for Systems Requirements Engineering
Abstract Since 2005, the international organization for standardization (ISO) has published a wealth of standards and reports that deal with requirements engineering for systems. ISO/IEC/IEEE 24765 defines a standard vocabulary for systems and...
2013 / Florian Schneider, Brian Berenbach