4743 search results - page 339 / 949 » The PlusCal Algorithm Language |
152
click to vote
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
160
click to vote
EACL
2010
ACL Anthology
15 years 2 months ago
2010
ACL Anthology
Until recently, referring expression generation (reg) research focused on the task of selecting the semantic content of definite mentions of listener-familiar discourse entities. I...
163
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We present supervised approaches for detecting speaker roles and agreement/disagreement between speakers in broadcast conversation shows in three languages: English, Arabic, and M...
155
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
147
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
Dynamic software updates (DSU) are one of the top-most features requested by developers and users. As a result, DSU is already standard in many dynamic programming languages. But,...