Sciweavers

4356 search results - page 628 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
GRID
2010
Springer
15 years 4 months ago
Parallel SAT Solving on Peer-to-Peer Desktop Grids
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
Sven Schulz, Wolfgang Blochinger
CDC
2010
IEEE
336views Control Systems» more  CDC 2010»
15 years 1 months ago
An application of IMPACT structure to bilateral teleoperations
Abstract-- Time-delays typically cause stability and performance problems in teleoperation systems. As a remedy for such problems in position-error based bilateral teleoperations, ...
Alper Denasi, Dragan Kostic, Henk Nijmeijer
CDC
2010
IEEE
103views Control Systems» more  CDC 2010»
15 years 1 months ago
Structural characterization of optimal event-based controllers for linear stochastic systems
Abstract-- Recent results in networked control systems indicate substantial benefits of event-based control compared to conventional designs. This paper identifies structural prope...
Adam Molin, Sandra Hirche
CORR
2011
Springer
185views Education» more  CORR 2011»
15 years 1 months ago
Asymptotic Moments for Interference Mitigation in Correlated Fading Channels
Abstract—We consider a certain class of large random matrices, composed of independent column vectors with zero mean and different covariance matrices, and derive asymptotically ...
Jakob Hoydis, Mérouane Debbah, Mari Kobayas...
MTA
2011
203views Hardware» more  MTA 2011»
15 years 1 months ago
Interoperable digital rights management based on the MPEG Extensible Middleware
Abstract This paper describes an interoperable Digital Rights Management architecture promoted by the MPEG standardization group in its new standard known as MPEG-M or MPEG Extensi...
Víctor Rodríguez-Doncel, Jaime Delga...