Sciweavers

197 search results - page 24 / 40
» On the Relationship between Spatial Logics and Behavioral Si...
Sort
View
EUROPAR
2006
Springer
13 years 11 months ago
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
Andrej Kühnal, Marc-André Hermanns, Be...
IROS
2006
IEEE
118views Robotics» more  IROS 2006»
14 years 1 months ago
Effects of Friction Parameters on Completion Times for Sustained Planar Positioning Tasks with a Haptic Interface
— Haptic interface devices and teleoperation masters are multiple degree of freedom devices manipulated by an operator to generate realtime motion commands to simulated environme...
Peter J. Berkelman, Ji Ma
TC
2010
13 years 5 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
CONTEXT
2003
Springer
14 years 22 days ago
A SAT-Based Algorithm for Context Matching
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
Paolo Bouquet, Bernardo Magnini, Luciano Serafini,...
TIP
2008
163views more  TIP 2008»
13 years 7 months ago
Image Modeling and Denoising With Orientation-Adapted Gaussian Scale Mixtures
We develop a statistical model to describe the spatially varying behavior of local neighborhoods of coefficients in a multiscale image representation. Neighborhoods are modeled as ...
David K. Hammond, Eero P. Simoncelli