Sciweavers

5962 search results - page 697 / 1193
» Working with Patterns and Code
Sort
View
ISIPTA
2003
IEEE
16 years 18 days ago
Convenient Interactive Computing for Coherent Imprecise Prevision Assessments
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
James Dickey
SCAM
2003
IEEE
16 years 18 days ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin
DBPL
2003
Springer
105views Database» more  DBPL 2003»
16 years 17 days ago
Integrating Database and Programming Language Constraints
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, R...
EUROPAR
2003
Springer
16 years 16 days ago
Exploiting On-Chip Data Transfers for Improving Performance of Chip-Scale Multiprocessors
As compared to a complex single processor based system, on-chip multiprocessors are less complex, more power efficient, and easier to test and validate. In this work, we focus on a...
Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhar...
TRUST
2010
Springer
16 years 11 days ago
SBAP: Software-Based Attestation for Peripherals
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...
Yanlin Li, Jonathan M. McCune, Adrian Perrig