Sciweavers

1325 search results - page 101 / 265
» The Incidence Propagation Method
Sort
View
ECOOP
2004
Springer
14 years 2 months ago
Pointer Analysis in the Presence of Dynamic Class Loading
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
Martin Hirzel, Amer Diwan, Michael Hind
CP
2007
Springer
14 years 28 days ago
On Inconsistent Clause-Subsets for Max-SAT Solving
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
Sylvain Darras, Gilles Dequen, Laure Devendeville,...
DOLAP
2005
ACM
13 years 11 months ago
Optimizing the incremental maintenance of multiple join views
Materialized views are nowadays commonly used in the data warehouse environment. Materialized views need to be updated when data sources change. Since the update of the views may ...
Ki Yong Lee, Myoung-Ho Kim
MASCOTS
2007
13 years 10 months ago
Measurement Based Physical Layer Modeling for Wireless Network Simulations
—Simulation methods have become an integral part of almost all aspects of networking research and particularly in the area of wireless networks. Any new protocol or methodology t...
Dheeraj Reddy, George F. Riley
CORR
2010
Springer
151views Education» more  CORR 2010»
13 years 9 months ago
On the Convexity of Latent Social Network Inference
In many real-world scenarios, it is nearly impossible to collect explicit social network data. In such cases, whole networks must be inferred from underlying observations. Here, w...
Seth A. Myers, Jure Leskovec