5757 search results - page 437 / 1152 » Dynamic Policy Programming |
187
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
177
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
194
click to vote
ISLPED
2003
ACM
16 years 2 days ago
2003
ACM
We describe an optimization strategy for minimizing total power consumption using dual threshold voltage (Vth) technology. Significant power savings are possible by simultaneous a...
158
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
193
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...