Sciweavers

2263 search results - page 237 / 453
» Principles of Template Design
Sort
View
124
Voted
HOPL
2007
15 years 8 months ago
Modula-2 and Oberon
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
Niklaus Wirth
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 8 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
COMPLIFE
2006
Springer
15 years 8 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
ECTEL
2006
Springer
15 years 8 months ago
The L2C Project: Learning to Collaborate Through Advanced SmallWorld Simulations
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
Albert A. Angehrn, Thierry Nabeth
115
Voted
GECCO
2006
Springer
124views Optimization» more  GECCO 2006»
15 years 8 months ago
Rotated test problems for assessing the performance of multi-objective optimization algorithms
This paper presents four rotatable multi-objective test problems that are designed for testing EMO (Evolutionary Multiobjective Optimization) algorithms on their ability in dealin...
Antony W. Iorio, Xiaodong Li