7778 search results - page 1186 / 1556 » Designing Controllers for Reachability |
163
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
133
click to vote
VEE
2012
ACM
14 years 10 days ago
2012
ACM
Live migration is one of the most important features of virtualization technology. With regard to recent virtualization techniques, performance of network I/O is critical. Current...
207
click to vote
VEE
2012
ACM
14 years 10 days ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
258
click to vote
SIGMOD
2008
ACM
17 years 4 months ago
2008
ACM
Virtual machine monitors are becoming popular tools for the deployment of database management systems and other enterprise software applications. In this paper, we consider a commo...
259
click to vote
Publication
WiMAX has attracted a lot of attention recently in the telecommunication community including researchers, product developers and service providers. Numerous papers have been publis...