Sciweavers

5599 search results - page 374 / 1120
» Abstract State Services
Sort
View
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 4 months ago
Output-feedback control of feedforward nonlinear delayed systems through dynamic high-gain scaling
Abstract-- The output-feedback control problem for nonlinear systems with state and input delays is addressed. Both state and input delays are allowed to be time-varying and uncert...
Prashanth Krishnamurthy, Farshad Khorrami
ICSE
2011
IEEE-ACM
14 years 10 months ago
MeCC: memory comparison-based clone detector
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun ...
CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
14 years 6 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar
ICDE
2009
IEEE
166views Database» more  ICDE 2009»
16 years 8 months ago
Supporting Database Applications as a Service
Abstract-- Multi-tenant data management is a form of Software as a Service (SaaS), whereby a third party service provider hosts databases as a service and provides its customers wi...
Mei Hui, Dawei Jiang, Guoliang Li, Yuan Zhou
INFOCOM
2007
IEEE
16 years 1 months ago
Distributed Placement of Service Facilities in Large-Scale Networks
Abstract— The effectiveness of service provisioning in largescale networks is highly dependent on the number and location of service facilities deployed at various hosts. The cla...
Nikolaos Laoutaris, Georgios Smaragdakis, Konstant...