7961 search results - page 461 / 1593 » Input-Output Model Programs |
155
click to vote
SCP
1998
15 years 6 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
158
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
179
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
168
click to vote
EMNLP
2011
14 years 6 months ago
2011
This paper describes an algorithm for exact decoding of phrase-based translation models, based on Lagrangian relaxation. The method recovers exact solutions, with certificates of...
270
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...