3616 search results - page 530 / 724 » Conditional Memory Ordering |
142
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
114
Voted
MOBIHOC
2010
ACM
15 years 20 days ago
2010
ACM
Recent years have witnessed the emergence of shared sensor networks as integrated infrastructure for multiple applications. It is important to allocate multiple applications in a ...
155
Voted
CCGRID
2011
IEEE
14 years 6 months ago
2011
IEEE
– Efficient implementations of the Discrete Fourier Transform (DFT) for GPUs provide good performance with large data sizes, but are not competitive with CPU code for small data ...
160
Voted
SDM
2012
SIAM
13 years 5 months ago
2012
SIAM
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...
196
Voted
EDBT
2012
ACM
13 years 5 months ago
2012
ACM
We present some architectural and technological insights on SAP’s HANA database and derive research challenges for future enterprise application development. The HANA database m...