Sciweavers

403 search results - page 19 / 81
» Rationale and Design of BULK
Sort
View
CORR
2010
Springer
105views Education» more  CORR 2010»
13 years 7 months ago
On Designing Multicore-aware Simulators for Biological Systems
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, M...
POPL
2006
ACM
14 years 10 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
IUI
2004
ACM
14 years 3 months ago
A multiple-application conversational agent
In this paper, we describe the rationale behind and architecture of a conversational agent capable of speech enabling multiple applications Categories and Subject Descriptors H5.2...
Steven Ross, Elizabeth Brownholtz, Robert Armes
TE
2010
76views more  TE 2010»
13 years 4 months ago
Problem-Based Learning in Communication Systems: Student Perceptions and Achievement
The paper presents a curriculum design for, and subsequent evaluation of, a communications systems course using problem-based learning (PBL) as the instructional methodology. It de...
John E. Mitchell, Brian Canavan, Jan Smith
ECSA
2010
Springer
13 years 9 months ago
Linking Design Decisions to Design Models in Model-Based Software Development
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
Patrick Könemann, Olaf Zimmermann