1142 search results - page 153 / 229 » Approximability of Clausal Constraints |
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
169
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
138
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
Minimally invasive surgery (MIS) constrains instrument motions to 4 DOF by precluding lateral motion at the incision. Robotic MIS systems can interpose arbitrary mappings between ...
190
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
188
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...