7892 search results - page 211 / 1579 » Programming with Models |
115
click to vote
IJCAI
1989
15 years 2 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
111
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
140
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
115
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
115
click to vote
ACL
2009
14 years 11 months ago
2009
We formulate the problem of nonprojective dependency parsing as a polynomial-sized integer linear program. Our formulation is able to handle non-local output features in an effici...