1173 search results - page 125 / 235 » On the Compositionality of Round Abstraction |
111
click to vote
CHES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose a superscalar coprocessor for high-speed curvebased cryptography. It accelerates scalar multiplication by exploiting instruction-level parallelism (ILP) dynami...
90
Voted
ECOOPW
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This report summarizes the results of the workshop on evolution and reuse for language specifications for DSLs. The focus of the workshop was twofold: exploration of the ...
113
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
114
click to vote
FASE
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
102
click to vote
UML
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...