575 search results - page 99 / 115 » Controller Synthesis for Probabilistic Systems |
RECSYS
2010
ACM
13 years 8 months ago
2010
ACM
Since the development of the comparably simple neighborhood-based methods in the 1990s, a plethora of techniques has been developed to improve various aspects of collaborative fil...
ACSD
2009
IEEE
13 years 10 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
TACAS
1998
Springer
14 years 3 days ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
—The paper presents architecture and synthesis results for an organic computing hardware for smart CMOS camera chips. The organic behavior in the chip hardware is based on distri...
MJ
2007
13 years 7 months ago
2007
We report a first work on nanofabrication of hydrogen nanosensor from single ZnO branched nanorods (tripod) using in-situ lift-out technique and performed in the chamber of focus...