Sciweavers

3454 search results - page 392 / 691
» Modern computer algebra
Sort
View
154
Voted
APLAS
2008
ACM
15 years 8 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
187
Voted
ASAP
2008
IEEE
119views Hardware» more  ASAP 2008»
15 years 8 months ago
An FPGA architecture for CABAC decoding in manycore systems
Arithmetic coding is an efficient entropy compression method that achieves results close to the entropy limit and it is used in modern standards such as JPEG-2000 and H.264. Arith...
Roberto R. Osorio, Javier D. Bruguera
FPL
2008
Springer
153views Hardware» more  FPL 2008»
15 years 7 months ago
FPGA acceleration of quasi-Monte Carlo in finance
Today, quasi-Monte Carlo (QMC) methods are widely used in finance to price derivative securities. The QMC approach is popular because for many types of derivatives it yields an es...
Nathan A. Woods, Tom VanCourt
ISLPED
2007
ACM
117views Hardware» more  ISLPED 2007»
15 years 7 months ago
Power signal processing: a new perspective for power analysis and optimization
To address the productivity bottlenecks in power analysis and optimization of modern systems, we propose to treat power as a signal and leverage the rich set of signal processing ...
Quming Zhou, Lin Zhong, Kartik Mohanram
APVIS
2008
15 years 7 months ago
Finite-Time Transport Structures of Flow Fields
Modern experimental and computational fluid mechanics are increasingly concerned with the structure nature of fluid motion. Recent research has highlighted the analysis of one tra...
Kuangyu Shi, Holger Theisel, Tino Weinkauf, Hans-C...