2881 search results - page 463 / 577 » Model Checking for Programming Languages using Verisoft |
260
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
143
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
168
click to vote
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
133
Voted
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
160
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
We propose regression modeling as an efficient approach for accurately predicting performance and power for various applications executing on any microprocessor configuration in a...