COMPUTATION TOOLS 2010, The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Ali Beklen, IBM Turkey, Turkey
Jorge Ejarque, Barcelona Supercomputing Center, Spain
Wolfgang Gentzsch, EU Project DEISA, Board of Directors of OGF, Germany
Teemu Kanstren, VTT, Finland
Arne Koschel, Fachhochschule Hannover, Germany
Yong Woo Lee, University of Seoul, Korea
Li Li, Avaya Labs Research - Basking Ridge, USA
Michal Zemlicka, Charles University - Prague, Czech Republic

ISSN: 2308-4170

ISBN: 978-1-61208-112-0

Location: Lisbon, Portugal

Dates: from November 21, 2010 to November 26, 2010

Articles: there are 5 articles

Debugging PVS specifications of control logics via event-driven simulation
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Paolo Masci
keywords: PVS; simulation; formal specification; validation

Sharing Ballistics Data Across The European Union
Richard Wilson, Lukasz Jopek, and Christopher Bates
keywords: ballistics; sharing; law enforcement; data mining; Europe.

Euclides - A JavaScript to PostScript Translator
Martin Strobl, Christoph Schinko, Torsten Ullrich, and Dieter W. Fellner
keywords: PostScript; JavaScript; translator; transpiler

PS-NET - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments
Raimund Kirner, Sven-Bodo Scholz, Frank Penczek, and Alex Shafarenko
keywords: stream processing; embedded systems; multi-core; resource-constrained;

An Application of a Domain-Specific Language Facilitating Abstraction and Secure Access to a Crime and Ballistic Data Sharing Platform
Lukasz Jopek, Richard Wilson, and Christopher Bates
keywords: standardisation, data structures, domain-specific language, law enforcement, public services