5090 search results - page 663 / 1018 » Constructing Strategies for Programming |
180
click to vote
ISESE
2003
IEEE
16 years 25 days ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
211
click to vote
ISLPED
2003
ACM
16 years 24 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...
186
click to vote
CP
2003
Springer
16 years 23 days ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
189
click to vote
ACSC
2002
IEEE
16 years 16 days ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
177
click to vote
CIKM
2009
Springer
16 years 6 days ago
2009
Springer
Solid State Drive (SSD), emerging as new data storage media with high random read speed, has been widely used in laptops, desktops, and data servers to replace hard disk during th...