932 search results - page 136 / 187 » Analysis and Optimization of CHR Programs |
115
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
143
Voted
CASCON
2000
15 years 4 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
99
Voted
CIDR
2009
15 years 3 months ago
2009
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
115
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
134
Voted
PCI
2005
Springer
15 years 8 months ago
2005
Springer
Cache misses form a major bottleneck for memory-intensive applications, due to the significant latency of main memory accesses. Loop tiling, in conjunction with other program tran...