Sciweavers

7792 search results - page 229 / 1559
» Designing the spectator experience
Sort
View
ICWE
2007
Springer
16 years 23 days ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
FCCM
2005
IEEE
123views VLSI» more  FCCM 2005»
16 years 7 days ago
A Novel 2D Filter Design Methodology for Heterogeneous Devices
In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve this goal ...
Christos-Savvas Bouganis, George A. Constantinides...
ISCAS
2005
IEEE
167views Hardware» more  ISCAS 2005»
16 years 6 days ago
A novel 2D filter design methodology
Abstract— In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve...
Christos-Savvas Bouganis, George A. Constantinides...
ISLPED
2005
ACM
103views Hardware» more  ISLPED 2005»
16 years 5 days ago
A non-uniform cache architecture for low power system design
This paper proposes a non-uniform cache architecture for reducing the power consumption of memory systems. The nonuniform cache allows having different associativity values (i.e.,...
Tohru Ishihara, Farzan Fallah
AIED
2005
Springer
16 years 5 days ago
Design of Erroneous Examples for ACTIVEMATH
Abstract. The behaviorist view of learning that informs much of traditional schooling is not likely to invite students and teachers to see errors in a positive light. This is parti...
Erica Melis