Sciweavers

2777 search results - page 230 / 556
» Example centric programming
Sort
View
NIME
2004
Springer
155views Music» more  NIME 2004»
15 years 9 months ago
A New Mix of Forgotten Technology: Sound Generation, Sequencing and Performance Using an Optical Turntable
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
Nikita Pashenkov
CGO
2003
IEEE
15 years 9 months ago
Jumbo: Run-Time Code Generation for Java and Its Applications
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
Sam Kamin, Lars Clausen, Ava Jarvis
HICSS
2003
IEEE
85views Biometrics» more  HICSS 2003»
15 years 9 months ago
Designs for Ramp-Constrained Day-Ahead Auctions
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...
Shmuel S. Oren, Andrew M. Ross
FATES
2003
Springer
15 years 9 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ECOOP
2010
Springer
15 years 8 months ago
Verifying Generics and Delegates
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
Kasper Svendsen, Lars Birkedal, Matthew Parkinson