17298 search results - page 156 / 3460 » Abstract computing machines |
102
Voted
FAC
2002
15 years 3 months ago
2002
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
118
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
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,...
86
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Child-User Abstractions: Need, Experience and Ability Alissa Antle School of Interactive Arts and Technology Simon Fraser University 2400 Central City Surrey, B.C., Canada V3T 2W1
125
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
139
Voted
ICCD
1993
IEEE
15 years 7 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...