Sciweavers

1566 search results - page 243 / 314
» Saving Space in a Time Efficient Simulation Algorithm
Sort
View
94
Voted
DAC
2003
ACM
16 years 3 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...
174
Voted
ICCS
2005
Springer
15 years 8 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
119
Voted
INFOCOM
2006
IEEE
15 years 8 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
15 years 3 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
116
Voted
SAC
2008
ACM
15 years 2 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...