7434 search results - page 133 / 1487 » Still |
135
click to vote
DEBU
2008
15 years 4 months ago
2008
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
115
click to vote
COMBINATORICS
2006
15 years 4 months ago
2006
A graph is Y Y reducible if it can be reduced to isolated vertices by a sequence of series-parallel reductions and Y Y transformations. It is still an open problem to characterize...
129
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
148
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....