Sciweavers

2482 search results - page 39 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
BMCBI
2007
161views more  BMCBI 2007»
13 years 8 months ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
PDCN
2004
13 years 9 months ago
CS_LITE: A lightweight computational steering system
Computational steering environments (CSEs) allow users to interact with applications executing in batch mode. Interaction with an application includes viewing intermediate results...
Silvia M. Figueira, Sonia Bui
ENTCS
2008
97views more  ENTCS 2008»
13 years 8 months ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic
IIE
2006
81views more  IIE 2006»
13 years 8 months ago
Various Utilizations of an Open-Source Program Visualization Tool, Jeliot 3
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
Roman Bednarik, Andrés Moreno, Niko Myller
FMSD
2002
92views more  FMSD 2002»
13 years 7 months ago
A Simple, Object-Based View of Multiprogramming
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
Jayadev Misra