7961 search results - page 229 / 1593 » Input-Output Model Programs |
147
click to vote
AGILEDC
2004
IEEE
15 years 7 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
138
click to vote
ACL
2009
15 years 1 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...
126
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
123
click to vote
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
151
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...