Sciweavers

3814 search results - page 397 / 763
» Operating system support for multimedia systems
Sort
View
PADL
2010
Springer
15 years 8 months ago
A Simple and Efficient Implementation of Concurrent Local Tabling
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
Rui Marques, Terrance Swift, José C. Cunha
ACMMSP
2006
ACM
257views Hardware» more  ACMMSP 2006»
16 years 22 days ago
Memory models for open-nested transactions
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
Kunal Agrawal, Charles E. Leiserson, Jim Sukha
POPL
1998
ACM
15 years 11 months ago
Higher-Order unCurrying
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
John Hannan, Patrick Hicks
EUSAI
2007
Springer
16 years 28 days ago
A Web 2.0 Platform to Enable Context-Aware Mobile Mash-Ups
Context-aware systems allow users to access services and multimedia data according to their current context (location, identity, preferences). Web 2.0 fosters user contribution and...
Diego López de Ipiña, Juan Ignacio V...
ICMCS
2006
IEEE
113views Multimedia» more  ICMCS 2006»
16 years 24 days ago
Steganalysis based on Markov Model of Thresholded Prediction-Error Image
A steganalysis system based on 2-D Markov chain of thresholded prediction-error image is proposed in this paper. Image pixels are predicted with their neighboring pixels, and the ...
Dekun Zou, Yun Q. Shi, Wei Su, Guorong Xuan