Sciweavers

674 search results - page 52 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
APLAS
2004
ACM
15 years 8 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
INAP
2001
Springer
15 years 7 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
HICSS
2000
IEEE
208views Biometrics» more  HICSS 2000»
15 years 7 months ago
Transfer Capability Computations in Deregulated Power Systems
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
Mohamed Shaaban, Yixin Ni, Felix F. Wu
CIDR
2003
134views Algorithms» more  CIDR 2003»
15 years 4 months ago
Approximate Range Selection Queries in Peer-to-Peer Systems
We present an architecture for a data sharing peer-to-peer system where the data is shared in the form of database relations. In general, peer-to-peer systems try to locate exactm...
Abhishek Gupta, Divyakant Agrawal, Amr El Abbadi
DATE
2007
IEEE
164views Hardware» more  DATE 2007»
15 years 9 months ago
Distributed power-management techniques for wireless network video systems
Wireless sensor networks operating on limited energy resources need to be power efficient to extend the system lifetime. This is especially challenging for video sensor networks d...
Nicholas H. Zamora, Jung-Chun Kao, Radu Marculescu