2881 search results - page 431 / 577 » Model Checking for Programming Languages using Verisoft |
156
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
129
click to vote
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
We present an algorithm for pronounanaphora (in English) that uses Expectation Maximization (EM) to learn virtually all of its parameters in an unsupervised fashion. While EM freq...
128
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
167
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
153
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...