10458 search results - page 37 / 2092 » Modeling Features at Runtime |
126
click to vote
VEE
2006
ACM
15 years 8 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
133
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
105
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
131
click to vote
EMNLP
2008
15 years 3 months ago
2008
Minimum Error Rate Training (MERT) is an effective means to estimate the feature function weights of a linear model such that an automated evaluation criterion for measuring syste...
124
click to vote
FCCM
2000
IEEE
15 years 6 months ago
2000
IEEE
Fault tolerance is becoming an increasingly important issue, especially in mission-critical applications where data integrity is a paramount concern. Performance, however, remains...