5200 search results - page 771 / 1040 » Symbolic models for control systems |
199
click to vote
ICCSA
2004
Springer
16 years 20 days ago
2004
Springer
We present a novel simulation tool to study fluid mixtures that are simultaneously chemically reacting and adsorbing within a molecularly porous material. The method is a combinat...
213
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
187
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed energy resources (DER) are in transition from the lab to the marketplace. The defining characteristic of DER is that they are active devices installed at the distribut...
235
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
218
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Randomized motion planning techniques are responsible for many of the recent successes in robot control. However, most motion planning algorithms assume perfect and com...