705 search results - page 110 / 141 » New Compilation Languages Based on Structured Decomposabilit... |
127
click to vote
RR
2010
Springer
14 years 9 months ago
2010
Springer
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
103
click to vote
CPHYSICS
2006
14 years 11 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
102
click to vote
ASPLOS
1996
ACM
15 years 3 months ago
1996
ACM
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to suggest future directions for architecture and software cache optimizations. Si...
182
click to vote
ICFP
2009
ACM
15 years 12 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...