Sciweavers

10666 search results - page 1637 / 2134
» Quantum programming languages
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
16 years 1 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
ISVLSI
2007
IEEE
230views VLSI» more  ISVLSI 2007»
16 years 1 months ago
A Methodology and Toolset to Enable SystemC and VHDL Co-simulation
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
Richard Maciel, Bruno Albertini, Sandro Rigo, Guid...
ESWS
2007
Springer
16 years 1 months ago
Explorative Debugging for Rapid Rule Base Development
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
Valentin Zacharias, Andreas Abecker
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
16 years 1 months ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
ICCS
2007
Springer
16 years 1 months ago
Creating Individual Based Models of the Plankton Ecosystem
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
Wes Hinsley, Tony Field, John Woods
« Prev « First page 1637 / 2134 Last » Next »