23413 search results - page 4516 / 4683 » or 2005 |
200
click to vote
OOPSLA
2005
Springer
16 years 19 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
226
click to vote
OOPSLA
2005
Springer
16 years 19 days ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
237
click to vote
OOPSLA
2005
Springer
16 years 19 days ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
203
click to vote
OOPSLA
2005
Springer
16 years 19 days ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
162
click to vote
OR
2005
Springer
16 years 19 days ago
2005
Springer
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...