Sciweavers

17082 search results - page 201 / 3417
» Abstractions for Mobile Computation
Sort
View
FAC
2002
79views more  FAC 2002»
13 years 10 months ago
A New Approach to Abstract Syntax with Variable Binding
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
Murdoch Gabbay, Andrew M. Pitts
SIGCSE
2009
ACM
139views Education» more  SIGCSE 2009»
14 years 11 months ago
Abstraction and extensibility in digital logic simulation software
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...
Richard M. Salter, John L. Donaldson
CHI
2010
ACM
14 years 5 months ago
Weight-shifting mobiles: automatic balancing in mobile phones
Fabian Hemmert, Susann Hamann, Matthias Löwe,...