Sciweavers

918 search results - page 126 / 184
» An Aspect Language for Robust Programming
Sort
View
POPL
2006
ACM
14 years 9 months ago
Autolocker: synchronization inference for atomic sections
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
Bill McCloskey, Feng Zhou, David Gay, Eric A. Brew...
XSYM
2009
Springer
131views Database» more  XSYM 2009»
14 years 3 months ago
Atomicity for XML Databases
With more and more data stored into XML databases, there is a need to provide the same level of failure resilience and robustness that users have come to expect from relational dat...
Debmalya Biswas, Ashwin Jiwane, Blaise Genest
ICIAP
2007
ACM
14 years 3 months ago
Unwarping scanned image of Japanese/English documents
We present methods for eliminating or reducing the distortion in a scanned image. Aspects of the present paper allow for the automatic pruning, de-skewing, and unwarping of an ima...
Ali Zandifar
JMM2
2007
100views more  JMM2 2007»
13 years 8 months ago
On Separation of English Numerals from Multilingual Document Images
— For Optical Character Recognition (OCR) of bilingual or multilingual document containing text words in regional language and numerals in English, it is necessary to identify di...
Basanna V. Dhandra, Mallikarjun Hangarge
IFIP
2004
Springer
14 years 2 months ago
Pattern-Matching Spi-Calculus
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
Christian Haack, Alan Jeffrey