13591 search results - page 204 / 2719 » On the Implementation of Dynamic Evaluation |
153
click to vote
IJAR
2008
15 years 6 months ago
2008
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of i...
144
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
In this paper we present JaMP, an adaptation of the OpenMP standard. JaMP is fitted to Jackal, a software-based DSM implementation for Java. While the set of supported directives...
161
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper, an efficient Montgomery multiplier is introduced for the modular exponentiation operation, which is fundamental to numerous public-key cryptosystems. Four aspects a...
202
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
155
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
The present contribution explores the design space for virtual channel (VC) and switch allocators in network-on-chip (NoC) routers. Based on detailed RTL-level implementations, we...