Sciweavers

3238 search results - page 322 / 648
» Not Enough Points Is Enough
Sort
View
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
16 years 24 days ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
VTC
2006
IEEE
147views Communications» more  VTC 2006»
16 years 24 days ago
A Proportional Fair Scheduling for Multicast Services in Wireless Cellular Networks
— We propose a new multicast scheduling scheme which can achieve the proportional fair (PF) allocation in the wireless cellular systems. In case of multicast, the scheduler in th...
Chungha Koh, Young Yong Kim
WETICE
2006
IEEE
16 years 23 days ago
The Case for Distributed Execution Replay Using a Virtual Machine
Debugging grid systems is complex, mainly because of the probe effect and non reproducible execution. The probe effect arises when an attempt to monitor a system changes the behav...
Nicolas Loriant, Jean-Marc Menaud
CONEXT
2006
ACM
16 years 23 days ago
Using forgetful routing to control BGP table size
Running the Border Gateway Protocol (BGP), the Internet’s interdomain routing protocol, consumes a large amount of memory. A BGP-speaking router typically stores one or more rou...
Elliott Karpilovsky, Jennifer Rexford
DAC
2006
ACM
16 years 23 days ago
DFM: where's the proof of value?
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...
Shishpal Rawat, Raul Camposano, A. Kahng, Joseph S...