Sciweavers

4276 search results - page 599 / 856
» Techniques for Empirical Validation
Sort
View
DSD
2009
IEEE
93views Hardware» more  DSD 2009»
15 years 4 months ago
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
Antonio da Silva, Sebastian Sanchez
ICCS
2009
Springer
15 years 4 months ago
Dynamic Software Updates for Accelerating Scientific Discovery
Distributed parallel applications often run for hours or even days before arriving to a result. In the case of such long-running programs, the initial requirements could change aft...
Dong Kwan Kim, Myoungkyu Song, Eli Tilevich, Calvi...
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
15 years 4 months ago
Utilizing reflection properties of surfaces to improve mobile robot localization
Abstract-- A main difficulty that arises in the context of probabilistic localization is the design of an appropriate observation model, i.e., determining the likelihood of a senso...
Maren Bennewitz, Cyrill Stachniss, Sven Behnke, Wo...
AISS
2010
147views more  AISS 2010»
15 years 4 months ago
Correlating Lattice Constant of Cubic Perovskites to Atomic Parameters Using Support Vector Regression
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...
Abdul Majid, Yeon Soo Lee
CORR
2010
Springer
197views Education» more  CORR 2010»
15 years 3 months ago
Interference Alignment Through User Cooperation for Two-cell MIMO Interfering Broadcast Channels
This paper focuses on two-cell multiple-input multiple-output (MIMO) Gaussian interfering broadcast channels (MIMO-IFBC) with K cooperating users on the cellboundary of each BS. It...
Wonjae Shin, Namyoon Lee, Jong Bu Lim, Changyong S...