21007 search results - page 4042 / 4202 » Mobile Parallel Computing |
ARC
2008
Springer
15 years 4 days ago
2008
Springer
Abstract. Loops are an important source of optimization. In this paper, we address such optimizations for those cases when loops contain kernels mapped on reconfigurable fabric. We...
ASPLOS
2008
ACM
15 years 4 days ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
89
Voted
ASPDAC
2005
ACM
15 years 3 days ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
ISSTA
2010
ACM
15 years 2 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
DNA
2006
Springer
15 years 2 days ago
2006
Springer
Whiplash PCR-based methods of biomolecular computation (BMC), while highly-versatile in principle, are well-known to suffer from a simple but serious form of self-poisoning known a...