1412 search results - page 5 / 283 » Experience Prototyping |
101
click to vote
ENTCS
2002
14 years 9 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
77
Voted
CHI
2010
ACM
14 years 9 months ago
2010
ACM
This paper clarifies two common patterns of multitasking on the Web, namely Multiple Tasks (MT) and Multiple Session Task (MST). To support both of these, the task concept needs t...
FCCM
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...
HRI
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we describe our prototyping environment to study concepts for empowering a single user to control robotic multi-agent systems. We investigate and validate these conc...
DDECS
2007
IEEE
14 years 11 months ago
2007
IEEE
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...