1279 search results - page 84 / 256 » AWESIM: The Integrated Simulation System |
SIAMCO
2000
15 years 1 months ago
2000
The aim of this paper is to present a new approach to the filtering problem for the class of bilinear stochastic multivariable systems, consisting in searching for suboptimal state...
120
click to vote
JSS
2002
15 years 1 months ago
2002
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
132
Voted
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
107
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
136
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper introduces a framework that guides the design of stabilizing feedback control laws for systems with Pfaffian constraints. A new class of N-dimensional vector fields, the...