2205 search results - page 232 / 441 » Mutation Operators for Specifications |
129
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
129
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
128
click to vote
ASAP
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose several algorithms and provide some related results that make it possible to implement decimal floating-point arithmetic on a processor that does not have decimal opera...
126
click to vote
HVEI
2010
15 years 5 months ago
2010
Research in our laboratory focuses on understanding the neural mechanisms that serve at the crossroads of perception, memory and attention, specifically exploring how brain region...
132
click to vote
HIS
2008
15 years 5 months ago
2008
Artificial Neural Networks for online learning problems are often implemented with synaptic plasticity to achieve adaptive behaviour. A common problem is that the overall learning...