3814 search results - page 458 / 763 » Operating system support for multimedia systems |
189
click to vote
MASS
2010
15 years 1 months ago
2010
Abstract--We propose "mode switch", an adaptive loadsensitive solution that supports both an energy-efficient operation mode for transmitting normal sensor data and an Qo...
206
click to vote
HOTOS
1993
IEEE
15 years 10 months ago
1993
IEEE
I argue against trying to solve the problem of clustering objects into disk pages. Instead, I propose that objects be fetched in groups that may be specific to an application or ...
171
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
154
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...
250
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...