1297 search results - page 143 / 260 » Control of systems integrating logic, dynamics, and constrai... |
134
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
132
click to vote
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
CCS
2010
ACM
15 years 8 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
141
Voted
CGF
2008
15 years 1 months ago
2008
Currently 3D animation rendering and video compression are completely independent processes even if rendered frames are streamed on-the-fly within a client-server platform. In suc...
125
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...