4854 search results - page 177 / 971 » It's the Programming, Stupid |
168
click to vote
DYNAMO
2000
15 years 8 months ago
2000
Dynamic program optimization allows programs to be generated that are highly tuned for a given environment and input data set. Optimization techniques can be applied and re-applie...
208
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...
210
click to vote
LOBJET
2000
15 years 6 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
177
click to vote
LISP
2002
15 years 6 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
191
click to vote
MOC
1998
15 years 6 months ago
1998
A detailed exposition of Kneser’s neighbour method for quadratic lattices over totally real number fields, and of the sub-procedures needed for its implementation, is given. Usi...