854 search results - page 109 / 171 » Addressing Dynamic Issues of Program Model Checking |
129
click to vote
ICST
2010
IEEE
15 years 29 days ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
132
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In developing algorithms that dynamically changes the structure and weights of ANN (Artificial Neural Networks), there must be a proper balance between network complexit...
113
click to vote
ISICT
2003
15 years 3 months ago
2003
Situational information can enrich the interactions between a user and the services they wish to utilize. Such information encompasses details about the user, the physical environ...
135
Voted
ASPLOS
1991
ACM
15 years 6 months ago
1991
ACM
The memory consistency model supported by a multiprocessor architecture determines the amount of buffering and pipelining that may be used to hide or reduce the latency of memory ...
153
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...