Sciweavers

7886 search results - page 319 / 1578
» An evaluation of bipartitioning techniques
Sort
View
BCSHCI
2007
15 years 9 months ago
Experiences with structured interviewing of children during usability tests
In this paper we describe an exploratory study on the use of a structured interviewing evaluation technique with 6 to 8 year old children. The study examines whether children are ...
Arnold P. O. S. Vermeeren, Mathilde M. Bekker, Ils...
IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
16 years 1 months ago
A Supercompiler for Core Haskell
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
Neil Mitchell, Colin Runciman
CLEF
2004
Springer
16 years 28 days ago
IRIT at CLEF 2004: The English GIRT Task
This paper describes our participation to the monolingual English GIRT task. The main objectives of our experiments were to evaluate the use of Mercure IRS (designed at IRIT/SIG) o...
Mustapha Baziz, Mohand Boughanem, Nathalie Aussena...
IFIP
1994
Springer
15 years 11 months ago
Evolving Algebras
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the parti...
Yuri Gurevich
DAGSTUHL
1996
15 years 8 months ago
A Uniform Approach for Compile-Time and Run-Time Specialization
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
Charles Consel, Luke Hornof, François No&eu...