3814 search results - page 727 / 763 » Operating system support for multimedia systems |
109
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
101
click to vote
IJRR
2010
14 years 9 months ago
2010
This paper describes the experimental implementation of an online algorithm for cooperative localization of submerged autonomous underwater vehicles (AUVs) supported by an autonom...
CORR
2010
Springer
14 years 6 months ago
2010
Springer
Time Series Data Server (TSDS) is a software package for implementing a server that provides fast supersetting, sub-setting, filtering, and uniform gridding of time series-like dat...
117
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
189
click to vote
ASPLOS
2009
ACM
16 years 12 days ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...