Sciweavers

1178 search results - page 100 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
POPL
2012
ACM
13 years 9 months ago
The ins and outs of gradual type inference
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
Aseem Rastogi, Avik Chaudhuri, Basil Hosmer
AIA
2007
15 years 3 months ago
Evaluating generalized association rules through objective measures
Generalized association rules are rules that contain some background knowledge, therefore, giving a more general view of the domain. This knowledge is codified by a taxonomy set ...
Veronica Oliveira de Carvalho, Solange Oliveira Re...
DAC
2010
ACM
15 years 5 months ago
Quality metric evaluation of a physical unclonable function derived from an IC's power distribution system
The level of security provided by digital rights management functions and cryptographic protocols depend heavily on the security of an embedded secret key. The current practice of...
Ryan Helinski, Dhruva Acharyya, Jim Plusquellic
TPDS
2010
176views more  TPDS 2010»
14 years 12 months ago
Coupling-Based Internal Clock Synchronization for Large-Scale Dynamic Distributed Systems
This paper studies the problem of realizing a common software clock among a large set of nodes without an external time reference (i.e., internal clock synchronization), any centr...
Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni...
BILDMED
2009
161views Algorithms» more  BILDMED 2009»
15 years 2 months ago
Estimation of Inner Lung Motion Fields by Non-linear Registration
Abstract. Detailed analysis of breathing dynamics, as motivated by radiotherapy of lung tumors, requires accurate estimates of inner lung motion fields. We present an evaluation an...
René Werner, Jan Ehrhardt, Alexander Schmid...