Sciweavers

1251 search results - page 119 / 251
» Design of an Early Minicomputer
Sort
View
110
Voted
RTSS
2005
IEEE
15 years 6 months 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
90
Voted
CC
2005
Springer
108views System Software» more  CC 2005»
15 years 6 months 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
95
Voted
DIGRA
2005
Springer
15 years 6 months 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
113
Voted
CHI
2004
ACM
15 years 6 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
86
Voted
DAC
2004
ACM
15 years 6 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...