Sciweavers

2004 search results - page 251 / 401
» Interaction nets: programming language design and implementa...
Sort
View
CAV
2008
Springer
131views Hardware» more  CAV 2008»
15 years 8 months ago
Validating High-Level Synthesis
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
ESOP
2009
Springer
16 years 1 months ago
Practical Variable-Arity Polymorphism
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthi...
SIGCSE
2006
ACM
362views Education» more  SIGCSE 2006»
16 years 11 days ago
Chirp on crickets: teaching compilers using an embedded robot controller
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
Li Xu, Fred G. Martin
UM
2005
Springer
15 years 12 months ago
Exploring Eye Tracking to Increase Bandwidth in User Modeling
The accuracy of a user model usually depends on the amount and quality of information available on the user’s states of interest. An eye-tracker provides data detailing where a u...
Cristina Conati, Christina Merten, Kasia Muldner, ...
WCRE
2000
IEEE
15 years 10 months ago
FAMIX and XMI
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
Sander Tichelaar, Stéphane Ducasse, Serge D...