Sciweavers

4139 search results - page 343 / 828
» Designing and Implementing Combinator Languages
Sort
View
FPGA
2004
ACM
117views FPGA» more  FPGA 2004»
16 years 13 days ago
A magnetoelectronic macrocell employing reconfigurable threshold logic
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
Steve Ferrera, Nicholas P. Carter
CORR
2010
Springer
107views Education» more  CORR 2010»
15 years 5 months ago
Yacc is dead
Abstract. We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to c...
Matthew Might, David Darais
JOT
2008
142views more  JOT 2008»
15 years 7 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
HRI
2009
ACM
16 years 1 months ago
Robot motivator: improving user performance on a physical/mental task
We describe the design and implementation of a socially assistive robot that is able to monitor the performance of a user during a combined mental and physical task, with the purp...
Juan Fasola, Maja J. Mataric
INFSOF
2002
95views more  INFSOF 2002»
15 years 6 months ago
Semantic and behavioral library transformations
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...
Sibylle Schupp, Douglas Gregor, David R. Musser, S...