Sciweavers

1251 search results - page 119 / 251
» Design of an Early Minicomputer
Sort
View
RTSS
2005
IEEE
16 years 1 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
CC
2005
Springer
108views System Software» more  CC 2005»
16 years 13 hour ago
Task Partitioning for Multi-core Network Processors
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
Robert Ennals, Richard Sharp, Alan Mycroft
DIGRA
2005
Springer
16 years 7 hour ago
Push. Play: An Examination of the Gameplay Button
At the center of the video game experience is the interface. Before a player grabs the first powerup or meets the first obstacle, the would-be-adventurer must accept the limitatio...
Stephen Griffin
CHI
2004
ACM
15 years 12 months ago
Haptic feedback for pen computing: directions and strategies
We seek to improve the experience of using pen computing devices by augmenting them with haptic, tactile feedback displays. We present the design of the haptic display for pen com...
Ivan Poupyrev, Makoto Okabe, Shigeaki Maruyama
DAC
2004
ACM
15 years 12 months ago
Fast and accurate parasitic capacitance models for layout-aware
Considering layout effects early in the analog design process is becoming increasingly important. We propose techniques for estimating parasitic capacitances based on look-up tabl...
Anuradha Agarwal, Hemanth Sampath, Veena Yelamanch...