Sciweavers

142 search results - page 11 / 29
» Controlling Error Propagation in Mobile-Infrastructure Based...
Sort
View
IMR
2003
Springer
14 years 24 days ago
Automated Adaptive Forming Simulations
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
Jie Wan, Suleyman Kocak, Mark S. Shephard
AUTOMATICA
2006
92views more  AUTOMATICA 2006»
13 years 7 months ago
A speed-sensorless indirect field-oriented control for induction motors based on high gain speed estimation
The authors design a new speed sensorless output feedback control for the full-order model of induction motors with unknown constant load torque, which guarantees local asymptotic...
Marcello Montanari, Sergei Peresada, Andrea Tilli
AICT
2005
IEEE
157views Communications» more  AICT 2005»
13 years 9 months ago
Fast Retransmission of Real-Time Traffic in HIPERLAN/2 Systems
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...
Jose A. Afonso, Joaquim E. Neves
TAICPART
2010
IEEE
133views Education» more  TAICPART 2010»
13 years 6 months ago
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
Frank Eichinger, Victor Pankratius, Philipp W. L. ...
CAV
2000
Springer
97views Hardware» more  CAV 2000»
13 years 12 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...