Sciweavers

2607 search results - page 361 / 522
» Complete Functional Synthesis
Sort
View
CORR
2006
Springer
92views Education» more  CORR 2006»
15 years 4 months ago
Personal Information Ecosystems and Implications for Design
Today, people use multiple devices to fulfill their information needs. However, designers design each device individually, without accounting for the other devices that users may ...
Manas Tungare, Pardha S. Pyla, Manuel A. Pé...
CN
2007
80views more  CN 2007»
15 years 4 months ago
Receiver-centric congestion control with a misbehaving receiver: Vulnerabilities and end-point solutions
Receiver-driven TCP protocols delegate key congestion control functions to receivers. Their goal is to exploit information available only at receivers in order to improve latency ...
Aleksandar Kuzmanovic, Edward W. Knightly
ENTCS
2007
103views more  ENTCS 2007»
15 years 3 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
NECO
2008
134views more  NECO 2008»
15 years 3 months ago
Latent Features in Similarity Judgments: A Nonparametric Bayesian Approach
One of the central problems in cognitive science is determining the mental representations that underlie human inferences. Solutions to this problem often rely on the analysis of ...
Daniel J. Navarro, Thomas L. Griffiths
IJHPCA
2007
116views more  IJHPCA 2007»
15 years 3 months ago
Pricing for Utility-Driven Resource Management and Allocation in Clusters
Users perceive varying levels of utility for each different job completed by the cluster. Therefore, there is a need for existing cluster Resource Management Systems (RMS) to prov...
Chee Shin Yeo, Rajkumar Buyya