2702 search results - page 315 / 541 » Practically Applicable Formal Methods |
126
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
107
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
124
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
127
Voted
SDM
2009
SIAM
15 years 12 months ago
2009
SIAM
Identifying information-rich subsets in high-dimensional spaces and representing them as order revealing patterns (or trends) is an important and challenging research problem in m...
101
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...