1791 search results - page 104 / 359 » Behavioral Operations |
125
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
106
click to vote
DFT
2008
IEEE
15 years 9 months ago
2008
IEEE
Scan-based debug methods give high observability of internal signals, however, they require halting the system to scan out responses from the circuit-under-debug (CUD). This is ti...
111
click to vote
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
113
click to vote
ECAL
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we investigate the phenomenon of multi-parent reproduction, i.e. we study recombination mechanisms where an arbitrary n > 1 number of parents participate in creati...
107
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this work, we explore the mechanical behavior of gecko hairs by means of macromodels. The macromodel has four spatular hairs operating by magnetic forces instead of van der W...