8232 search results - page 1317 / 1647 » Dynamic Logic Programming |
172
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
185
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...
239
click to vote
IEEEPACT
2007
IEEE
16 years 29 days ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
167
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
171
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...