Sciweavers

16844 search results - page 374 / 3369
» How to Design Programs
Sort
View
AFP
1995
Springer
125views Formal Methods» more  AFP 1995»
15 years 10 months ago
Merging Monads and Folds for Functional Programming
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
Erik Meijer, Johan Jeuring
CHI
2004
ACM
16 years 7 months ago
a CAPpella: programming by demonstration of context-aware applications
Context-aware applications are applications that implicitly take their context of use into account by adapting to changes in a user's activities and environments. No one has ...
Anind K. Dey, Raffay Hamid, Chris Beckmann, Ian Li...
ICALT
2006
IEEE
16 years 26 days ago
Learner as a Designer of Digital Learning Tools
This paper will concentrate on how teacher can support learners in creating their own learning tools conducive to learning. Authors will discuss how the journey in creating differ...
Yasmin Bhattacharya, Madhumita Bhattacharya
ACISP
2000
Springer
15 years 11 months ago
Two-Stage Optimisation in the Design of Boolean Functions
This paper shows how suitable choice of cost function can significantly affect the power of optimisation methods for the synthesising of Boolean functions. In particular we show ...
John A. Clark, Jeremy Jacob
162
Voted
EURODAC
1995
IEEE
135views VHDL» more  EURODAC 1995»
15 years 10 months ago
A high performance VHDL simulator for large systems design
The requirements of large system design place great demands upon the performance and diagnostic capabilities of simulation. This paper explains how these requirements have been sa...
Steve Hodgson, Zak Shaar, Andy Smith