2838 search results - page 432 / 568 » Verifying Controlled Components |
WCE
2007
13 years 11 months ago
2007
—The problem of active shielding of some domains from the effect of the sources distributed in other domains is considered. The problem can be formulated either in a bounded dom...
WCE
2007
13 years 11 months ago
2007
— Crossbars are main components of communication switches used to construct interconnection networks. Scheduling algorithm controls contention in switch architecture. Several sch...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
We consider the multi-class classification problem, based on vector observation sequences, where the conditional (given class observations) probability distributions for each class...
JFR
2006
13 years 10 months ago
2006
This paper describes the implementation and testing of Alice, the California Institute of Technology's entry in the 2005 DARPA Grand Challenge. Alice utilizes a highly networ...
SCP
2008
13 years 10 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...