715 search results - page 111 / 143 » Automatic Programming for Sequence Control |
NFM
2011
13 years 4 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
PLDI
2011
ACM
13 years 16 days ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
CSMR
2007
IEEE
14 years 4 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
CEC
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...