Sciweavers

3134 search results - page 249 / 627
» Computing full disjunctions
Sort
View
DNIS
2010
Springer
194views Database» more  DNIS 2010»
15 years 10 months ago
Interface Tailoring by Exploiting Temporality of Attributes for Small Screens
In the pervasive computing era, mobile phones and personal digital assistants are widely used for data collection. The traditional user interfaces which are employed for data colle...
Mittapally Kumara Swamy, P. Krishna Reddy, R. Uday...
CLUSTER
2008
IEEE
15 years 10 months ago
Multistage switches are not crossbars: Effects of static routing in high-performance networks
Abstract—Multistage interconnection networks based on central switches are ubiquitous in high-performance computing. Applications and communication libraries typically make use o...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
119
Voted
DASFAA
2008
IEEE
105views Database» more  DASFAA 2008»
15 years 10 months ago
Redundant Array of Inexpensive Nodes for DWS
The DWS (Data Warehouse Striping) technique is a round-robin data partitioning approach especially designed for distributed data warehousing environments. In DWS the fact tables ar...
Jorge Vieira, Marco Vieira, Marco Costa, Henrique ...
130
Voted
TPHOL
2008
IEEE
15 years 9 months ago
Certifying a Termination Criterion Based on Graphs, without Graphs
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
Pierre Courtieu, Julien Forest, Xavier Urbain
113
Voted
BROADNETS
2007
IEEE
15 years 9 months ago
Measuring queue capacities of IEEE 802.11 wireless access points
— While queue capacities have a direct impact on loss and latency during congestion, and wireless networks continue to spread in university, corporate and home networks, little i...
Feng Li, Mingzhe Li, Rui Lu, Huahui Wu, Mark Clayp...