Sciweavers

1389 search results - page 109 / 278
» Lightweight dependent classes
Sort
View
SIAMCO
2002
72views more  SIAMCO 2002»
14 years 11 months ago
Filtering of Nonlinear Stochastic Feedback Systems
This paper concerns the filtering problem for a class of stochastic nonlinear systems where the drift term may depend either on some external function (open-loop system) or on the ...
Francesco Carravetta, Alfredo Germani, Robert Sh. ...
QUESTA
2008
73views more  QUESTA 2008»
14 years 10 months ago
Optimal control of parallel server systems with many servers in heavy traffic
We consider a parallel server system that consists of several customer classes and server pools in parallel. We propose a simple robust control policy to minimize the total linear...
J. G. Dai, Tolga Tezcan
ACL
2010
14 years 9 months ago
Complexity Assumptions in Ontology Verbalisation
We describe the strategy currently pursued for verbalising OWL ontologies by sentences in Controlled Natural Language (i.e., combining generic rules for realising logical patterns...
Richard Power
POPL
2010
ACM
15 years 8 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
ISORC
2009
IEEE
15 years 5 months ago
Component Based Middleware-Synthesis for AUTOSAR Basic Software
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
Dietmar Schreiner, Markus Schordan, Karl M. Gö...