Sciweavers

5639 search results - page 253 / 1128
» Timed Abstract Non-interference
Sort
View
CONSTRAINTS
2011
14 years 6 months ago
CP and IP approaches to cancer radiotherapy delivery optimization
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
Davaatseren Baatar, Natashia Boland, Sebastian Bra...
EUROCRYPT
2011
Springer
14 years 6 months ago
Faster Explicit Formulas for Computing Pairings over Ordinary Curves
Abstract. We describe efficient formulas for computing pairings on ordinary elliptic curves over prime fields. First, we generalize lazy reduction techniques, previously considere...
Diego F. Aranha, Koray Karabina, Patrick Longa, Ca...
FIMH
2011
Springer
14 years 6 months ago
Monitoring Treatment Outcome: A Visualization Prototype for Left Ventricular Transformation
Abstract. The analysis of cardiac dynamics – especially of the left ventricle – is a means for evaluating the healthiness of the heart. In case that a malfunction has been dete...
Stefan Wesarg
139
Voted
ICDE
2011
IEEE
234views Database» more  ICDE 2011»
14 years 6 months ago
Massively parallel XML twig filtering using dynamic programming on FPGAs
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
Roger Moussalli, Mariam Salloum, Walid A. Najjar, ...
154
Voted
CHES
2011
Springer
276views Cryptology» more  CHES 2011»
14 years 3 months ago
FPGA-Based True Random Number Generation Using Circuit Metastability with Adaptive Feedback Control
Abstract. The paper presents a novel and efficient method to generate true random numbers on FPGAs by inducing metastability in bi-stable circuit elements, e.g. flip-flops. Meta...
Mehrdad Majzoobi, Farinaz Koushanfar, Srinivas Dev...