Sciweavers

1301 search results - page 73 / 261
» Specifications via Realizability
Sort
View
INFOCOM
2010
IEEE
13 years 8 months ago
DAC: Distributed Asynchronous Cooperation for Wireless Relay Networks
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...
Xinyu Zhang, Kang G. Shin
ICDE
2005
IEEE
137views Database» more  ICDE 2005»
14 years 11 months ago
Extending Relational Database Systems to Automatically Enforce Privacy Policies
Databases are at the core of successful businesses. Due to the voluminous stores of personal data being held by companies today, preserving privacy has become a crucial requiremen...
Rakesh Agrawal, Paul Bird, Tyrone Grandison, Jerry...
NPIV
1999
ACM
120views Visualization» more  NPIV 1999»
14 years 2 months ago
Virtual Environments for Geographic Visualization: Potential and Challenges
Virtual environment (VE) technologies have considerable potential to extend the power of information visualization methods, and those of scientific visualization more broadly. Our...
Alan M. MacEachren, Robert M. Edsall, Daniel Haug,...
EH
2004
IEEE
98views Hardware» more  EH 2004»
14 years 1 months ago
Self-Replication of 3D Universal Structures
After a survey of some realizations of self-replicating machines, this paper presents the construction based selfreplication of universal 3D structures. This self-replication proc...
André Stauffer, Daniel Mange, Enrico Petrag...
IFL
2000
Springer
14 years 1 months ago
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
Clemens Grelck