799 search results - page 17 / 160 » Improving the feasibility pump |
AINA
2007
IEEE
14 years 5 months ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
ICPP
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper, we present a heuristic algorithm that improves the performance of static task scheduling. Our algorithm is based on the list-scheduling mechanism. For the listing p...
ISSTA
1998
ACM
14 years 2 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
AUTOMATICA
2007
13 years 11 months ago
2007
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
ETS
2007
IEEE
14 years 5 months ago
2007
IEEE
— A novel statistical learning algorithm is proposed to accurately analyze volume diagnosis results. This algorithm effectively overcomes the inherent ambiguities in logic diagno...