Sciweavers

305 search results - page 46 / 61
» Boosting Set Constraint Propagation for Network Design
Sort
View
93
Voted
ICFP
2010
ACM
15 years 1 months ago
Matching lenses: alignment and view update
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Mi...
SENSYS
2009
ACM
15 years 7 months ago
Mercury: a wearable sensor network platform for high-fidelity motion analysis
This paper describes Mercury, a wearable, wireless sensor platform for motion analysis of patients being treated for neuromotor disorders, such as Parkinson’s Disease, epilepsy,...
Konrad Lorincz, Bor-rong Chen, Geoffrey Werner Cha...
DASFAA
2007
IEEE
165views Database» more  DASFAA 2007»
15 years 4 months ago
Making the Most of Cache Groups
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...
Andreas Bühmann, Theo Härder
EDUTAINMENT
2006
Springer
15 years 4 months ago
Computer-Assisted Teaching in Class Situation: A High-School Math Lab on Vectors
This paper presents our design and experiment of a computer-assisted class laboratory on vectors in high-school. Our main goal is to improve the acquisition on notions by all pupi...
Maud Marchal, Peggy Provent, Frederic Ruyer, Pirou...
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 2 months ago
BloomUnit: declarative testing for distributed programs
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
Peter Alvaro, Andrew Hutchinson, Neil Conway, Will...