3814 search results - page 479 / 763 » Operating system support for multimedia systems |
168
click to vote
TCS
2008
15 years 6 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
160
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
New storage-class memory (SCM) technologies, such as phasechange memory, STT-RAM, and memristors, promise user-level access to non-volatile storage through regular memory instruct...
166
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Modern smartphone operating systems support the development of third-party applications with open system APIs. In addition to an open API, the Android operating system also provid...
250
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
OS-level virtualization generates a minimal start-up and run-time overhead on the host OS and thus suits applications that require both good isolation and high efficiency. However...
203
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...