Sciweavers

2206 search results - page 298 / 442
» On the power of coercion abstraction
Sort
View
VTC
2006
IEEE
14 years 4 months ago
Scheduling in Cellular CDMA-TDD Networks
Abstract— In this paper different scheduling algorithms applied to cellular CDMA (code division multiple access) systems with different duplexing modes are studied. In particular...
Ellina Foutekova, Patrick Agyapong, Birendra Ghimi...
ASPDAC
2006
ACM
109views Hardware» more  ASPDAC 2006»
14 years 4 months ago
Energy savings through embedded processing on disk system
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, F...
SIGSOFT
2006
ACM
14 years 4 months ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
HICSS
2005
IEEE
136views Biometrics» more  HICSS 2005»
14 years 3 months ago
Cournot Equilibrium in Price-Capped Two-Settlement Electricity Markets
Abstract— We compare two alternative mechanisms for capping prices in two-settlement electricity markets. With sufficient lead time and competitive entry opportunities, forward ...
Jian Yao, Bert Willems, Shmuel S. Oren, Ilan Adler
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
14 years 3 months ago
Correspondenceless Ego-Motion Estimation Using an IMU
Abstract— Mobile robots can be easily equipped with numerous sensors which can aid in the tasks of localization and ego-motion estimation. Two such examples are Inertial Measurem...
Ameesh Makadia, Kostas Daniilidis