4139 search results - page 514 / 828 » Designing and Implementing Combinator Languages |
174
click to vote
HCI
2007
15 years 7 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
157
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
We introduce Xampling, a design methodology for analog compressed sensing in which we sample analog bandlimited signals at rates far lower than Nyquist, without loss of informatio...
144
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
The Collaborative Computing Transport Layer (CCTL) is a communication substrate consisting of a suite of multiparty protocols, providing varying service qualities among process gr...
177
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
178
click to vote
SIGCSE
2012
ACM
14 years 1 months ago
2012
ACM
We present CSTutor, a sketch-based interface designed to help students understand data structures. It currently supports Linked Lists, Binary Search Trees, AVL Trees, and Heaps, a...