Sciweavers

3130 search results - page 303 / 626
» Design Correctness of Digital Systems
Sort
View
AIED
2009
Springer
16 years 1 months ago
Who Helps When the Tutor Is Asleep?
While many computer tutoring systems have long been delivered as desktop applications, these systems have only recently begun to appear on mobile devices. In this work we apply pri...
Quincy Brown, Dario D. Salvucci, Frank J. Lee, Vin...
PIMRC
2008
IEEE
16 years 1 months ago
BER analysis of single-carrier MPAM in the presence of ADC quantization noise
— Noisy radio frequency (RF) circuits tend to degrade the system performance, especially in high frequency communication systems. The performance analysis of such systems is norm...
Umar H. Rizvi, Gerard J. M. Janssen, Jos H. Weber
POPL
2012
ACM
14 years 2 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
SIGCOMM
2004
ACM
16 years 4 days ago
A system for authenticated policy-compliant routing
Internet end users and ISPs alike have little control over how packets are routed outside of their own AS, restricting their ability to achieve levels of performance, reliability,...
Barath Raghavan, Alex C. Snoeren
ICDCSW
2006
IEEE
16 years 23 days ago
Developing Gestural Input
In this paper, we present the Gesture Cube, a digitally augmented cube for human-computer interaction. The Gesture Cube is designed to be an unobtrusive and playful interaction de...
Matthias Kranz, Stefan Freund, Paul Holleis, Albre...