Sciweavers

1566 search results - page 243 / 314
» Saving Space in a Time Efficient Simulation Algorithm
Sort
View
DAC
2003
ACM
14 years 8 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICCS
2005
Springer
14 years 1 months ago
An Adaptive Collision Detection and Resolution for Deformable Objects Using Spherical Implicit Surface
A fast collision detection and resolution scheme is one of the key components for interactive simulation of deformable objects. It is particularly challenging to reduce the computa...
Sunhwa Jung, Min Hong, Min-Hyung Choi
INFOCOM
2006
IEEE
14 years 1 months ago
A Client-Driven Approach for Channel Management in Wireless LANs
— We propose an efficient client-based approach for channel management (channel assignment and load balancing) in 802.11-based WLANs that lead to better usage of the wireless sp...
Arunesh Mishra, Vladimir Brik, Suman Banerjee, Ara...
WCE
2007
13 years 9 months ago
Procedures of Parameters' estimation of AR(1) models into lineal state-space models
—The objective of this paper is to study how algorithms of optimization affect the parametersestimation of Autoregressive AR(1)Models. In our research we have represented the AR...
Rouhia Noomene
SAC
2008
ACM
13 years 7 months ago
Selectivity estimation in spatial networks
Modern applications requiring spatial network processing pose many interesting query optimization challenges. In many cases, query processing depends on the corresponding graph si...
Eleftherios Tiakas, Apostolos N. Papadopoulos, Ale...