Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Mathieu Desnoyers"'
Autor:
Mathieu Desnoyers, Michel Dagenais
Publikováno v:
2008 Annual Conference & Exposition Proceedings.
Publikováno v:
Software: Practice and Experience. 46:1397-1409
Detecting latency-related problems in production environments is usually carried out at the application level with custom instrumentation. This is enough to detect high latencies in instrumented applications but does not provide all the information r
Publikováno v:
ACM SIGOPS Operating Systems Review. 47:51-65
Modeling parallel algorithms at the architecture level enables exploring side-effects of the weakly ordered nature of modern processors. Formal verification of such models with model-checking can ensure that algorithm guarantees will hold even in the
Autor:
Mathieu Desnoyers
Publikováno v:
Communications of the ACM. 56:62-69
Nonblocking synchronization can yield astonishing results in terms of scalability and real-time response, but at the expense of verification state space.
Autor:
Mathieu Desnoyers
Publikováno v:
Queue. 11:30-43
Nonblocking synchronization can yield astonishing results in terms of scalability and realtime response, but at the expense of verification state space.
Autor:
Mathieu Desnoyers, Michel Dagenais
Publikováno v:
ACM SIGOPS Operating Systems Review. 46:65-81
Studying execution of concurrent real-time online systems, to identify far-reaching and hard to reproduce latency and performance problems, requires a mechanism able to cope with voluminous information extracted from execution traces. Furthermore, th
Publikováno v:
International Journal of Mineral Processing. :11-16
The operation of mineral processing equipments is affected by natural disturbances coming from changes of the ore feed characteristics and operating practices. A method to quantify the impact of natural disturbances and equipment operating practices
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 23:375-382
Read-copy update (RCU) is a synchronization technique that often replaces reader-writer locking because RCU's read-side primitives are both wait-free and an order of magnitude faster than uncontended locking. Although RCU updates are relatively heavy
Publikováno v:
The Open Cybernetics ε Systemics. 5:1-15
This paper describes extensions to the Linux Trace Toolkit next generation (LTTng), to trace the Xen hypervisor for efficiently tracing complete systems. LTTng is a low impact, modular, extensible, operating system tracer, while Xen is an hypervisor
Autor:
Mathieu Desnoyers, Michel R. Dagenais
Publikováno v:
Software: Practice and Experience. 40:1053-1072