623 search results - page 97 / 125 » Relational Parametricity for Control Considered as a Computa... |
103
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
102
click to vote
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
We consider the Bounded Diameter Minimum Spanning Tree problem and describe four neighbourhood searches for it. They are used as local improvement strategies within a variable nei...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
110
click to vote
JMLR
2010
14 years 6 months ago
2010
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...
TRIDENTCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— To evaluate routing protocols on a controlled indoor wireless testbed, the radio range must be compressed so that larger multi-hop topologies can be mapped into a laboratorysiz...