2205 search results - page 195 / 441 » Mutation Operators for Specifications |
139
click to vote
CCR
2002
15 years 2 months ago
2002
Most network protocols are uni-modal: they employ a single set of algorithms that allows them to cope well only within a narrow range of operating conditions. This rigid design re...
128
Voted
TIP
2002
15 years 2 months ago
2002
Abstract--We propose an approach to accurately detecting twodimensional (2-D) shapes. The cross section of the shape boundary is modeled as a step function. We first derive a one-d...
128
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
122
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
125
Voted
ENTCS
2006
15 years 2 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...