Sciweavers

6224 search results - page 233 / 1245
» Recent Advances in Networking
Sort
View
103
Voted
WCET
2007
15 years 1 months ago
WCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...
WOA
2007
15 years 1 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
81
Voted
BILDMED
2009
104views Algorithms» more  BILDMED 2009»
15 years 1 months ago
MRI Composing for Whole Body Imaging
Abstract. Whole-body magnetic resonance imaging is an emerging application gaining vast clinical interest during the last years. Although recent technological advances shortened th...
Ben Glocker, Christian Wachinger, Jochen Zeltner, ...
111
Voted
CADE
2010
Springer
15 years 1 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
CHES
2010
Springer
132views Cryptology» more  CHES 2010»
15 years 1 months ago
Efficient Techniques for High-Speed Elliptic Curve Cryptography
In this paper, a thorough bottom-up optimization process (field, point and scalar arithmetic) is used to speed up the computation of elliptic curve point multiplication and report ...
Patrick Longa, Catherine H. Gebotys