284 search results - page 48 / 57 » Quantifying process equivalence based on observed behavior |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— Target tracking has two variants that are often studied independently with different approaches: target searching requires a robot to find a target initially not visible, and ...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Average consensus and gossip algorithms have recently received significant attention, mainly because they constitute simple and robust algorithms for distributed information proc...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
Multi-photon laser scanning microscopy is a cutting-edge tool for high-resolution imaging of living tissue and organisms used to study biological processes such as cellular dynami...