Sciweavers

4895 search results - page 554 / 979
» Functional Quantum Programming
Sort
View
ERLANG
2003
ACM
16 years 3 days ago
Extending the VoDKA architecture to improve resource modelling
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
Juan José Sánchez Penas, Carlos Abal...
173
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 2 days ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
GECCO
2003
Springer
128views Optimization» more  GECCO 2003»
16 years 2 days ago
Evolving Consensus Sequence for Multiple Sequence Alignment with a Genetic Algorithm
In this paper we present an approach that evolves the consensus sequence [25] for multiple sequence alignment (MSA) with genetic algorithm (GA). We have developed an encoding schem...
Conrad Shyu, James A. Foster
ISMAR
2002
IEEE
15 years 11 months ago
A Pragmatic Approach to Augmented Reality Authoring
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
Matthias Haringer, Holger Regenbrecht
ECOOP
2010
Springer
15 years 11 months ago
Automatically Extracting Class Diagrams from Spreadsheets
Abstract. The use of spreadsheets to capture information is widespread in industry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically ext...
Felienne Hermans, Martin Pinzger, Arie van Deursen