Sciweavers

540 search results - page 61 / 108
» Protection in Programming-Language Translations
Sort
View
ICMCS
2006
IEEE
130views Multimedia» more  ICMCS 2006»
15 years 9 months ago
A Language and Architecture for Automating Multimedia Content Production on Grid
Possible solutions to the management of multichannel delivering, production on demand, and containment of sale prices in the digital multimedia content production could be the aut...
Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi
IFIP
2004
Springer
15 years 8 months ago
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
Jerry den Hartog, Erik P. de Vink
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 8 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
SIGSOFT
2005
ACM
16 years 3 months ago
ASTEC: a new approach to refactoring C
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
Bill McCloskey, Eric A. Brewer
JMLR
2012
13 years 5 months ago
Bounding the Probability of Error for High Precision Optical Character Recognition
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...
Gary B. Huang, Andrew Kae, Carl Doersch, Erik G. L...