Sciweavers

647 search results - page 41 / 130
» Dynamic Instrumentation of Production Systems
Sort
View
VTC
2006
IEEE
107views Communications» more  VTC 2006»
15 years 10 months ago
Cross-Layer Modeling of Capacity of UMTS/HSDPA Networks Under Dynamic User Setting
— We focus in this paper on the cross-layer modeling of the integration of streaming and elastic flows in the downlink of UMTS/HSDPA systems. Streaming flows are transported ov...
Tijani Chahed, Mariana Dirani
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 10 months ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
EUROPAR
2005
Springer
15 years 10 months ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
ASPLOS
2010
ACM
15 years 9 months ago
Modeling GPU-CPU workloads and systems
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
Andrew Kerr, Gregory F. Diamos, Sudhakar Yalamanch...
VMCAI
2010
Springer
16 years 1 months ago
Model-Checking In-Lined Reference Monitors
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
Meera Sridhar, Kevin W. Hamlen