Sciweavers

2663 search results - page 224 / 533
» The Design, Implementation, and Evaluation of Jade
Sort
View
76
Voted
ICCAD
2008
IEEE
140views Hardware» more  ICCAD 2008»
15 years 8 months ago
Correct-by-construction microarchitectural pipelining
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
Timothy Kam, Michael Kishinevsky, Jordi Cortadella...
ECTEL
2009
Springer
15 years 5 months ago
LAG 2.0: Refining a Reusable Adaptation Language and Improving on Its Authoring
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
Alexandra I. Cristea, David Smits, Jon Bevan, Maur...
MHCI
2009
Springer
15 years 5 months ago
Examining human values in adopting ubiquitous technology in school
This paper summarizes value analysis of adopting technologysupported attendance control service in a primary school. The results are based on a case study that explored a 14-week ...
Minna Isomursu, Mari Ervasti, Marianne Kinnula, Pe...
GECCO
2007
Springer
268views Optimization» more  GECCO 2007»
15 years 5 months ago
Synthesis of analog filters on an evolvable hardware platform using a genetic algorithm
This work presents a novel approach to filter synthesis on a field programmable analog array (FPAA) architecture using a genetic algorithm (GA). First, a Matlab model of the FPA...
Joachim Becker, Stanis Trendelenburg, Fabian Henri...
PERVASIVE
2007
Springer
15 years 5 months ago
Explorations and Experiences with Ambient Information Systems
We have developed a series of ambient information systems and used each in our research lab for extended periods of time. The systems use technologies such as RFID, RSS, and Phidg...
John T. Stasko, Myungcheol Doo, Brian Dorn, Christ...