5085 search results - page 750 / 1017 » Multidimensional Design by Examples |
193
click to vote
CHARME
2003
Springer
16 years 1 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
190
click to vote
CHES
2003
Springer
16 years 1 days ago
2003
Springer
Field Programmable Gate Arrays (FPGAs) are becoming increasingly popular, especially for rapid prototyping. For implementations of cryptographic algorithms, not only the speed and ...
179
click to vote
DRM
2003
Springer
16 years 1 days ago
2003
Springer
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...
229
click to vote
EGH
2003
Springer
16 years 1 days ago
2003
Springer
We capitalize on recent advances in modern programmable graphics hardware, originally designed to support advanced local illumination models for shading, to instead perform two di...
168
click to vote
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...