9626 search results - page 1487 / 1926 » Invariant Based Programming |
201
click to vote
HIPEAC
2005
Springer
16 years 12 days ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
160
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Between high-performance clusters and grids appears an intermediate infrastructure called cluster grid that corresponds to the interconnection of clusters through the Int...
191
click to vote
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
155
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
200
click to vote
ER
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...