505 search results - page 50 / 101 » Implementation of Belief Change Operators Using BDDs |
ISCA
2007
IEEE
15 years 4 months ago
2007
IEEE
The negative performance impact of branch mis-predictions can be reduced by exploiting control independence (CI). When a branch mis-predicts, the wrong-path instructions up to the...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
165
click to vote
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
COMSWARE
2006
IEEE
15 years 3 months ago
2006
IEEE
Sensor networks typically comprise of a number of inexpensive small devices with processing, communication and sensing abilities that collaborate to perform a common task. Sensor d...