155 search results - page 6 / 31 » Vicinity Respecting Homomorphisms for Abstracting System Req... |
ECRTS
2008
IEEE
14 years 3 months ago
2008
IEEE
T-N Plane Abstraction (E-TNPA) proposed in this paper realizes work-conserving and efficient optimal real-time scheduling on multiprocessors relative to the original T-N Plane Ab...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...
AAMAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
APLAS
2001
ACM
14 years 6 days ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...