Sciweavers

3436 search results - page 387 / 688
» Software Tools for Performance Modeling of Parallel Programs
Sort
View
140
Voted
CLEIEJ
2007
133views more  CLEIEJ 2007»
15 years 2 months ago
Competency Assessment: Integrating COCOMO II and People-CMM for estimation improvement
: ‘Human factor’ is one of the most relevant and crucial aspects of software development projects management. Aiming at the performance improvement for software processes in or...
Ricardo Colomo Palacios, Marcos Ruano Mayoral, Jua...
147
Voted
HPDC
2000
IEEE
15 years 7 months ago
Synchronizing Network Probes to Avoid Measurement Intrusiveness with the Network Weather Service
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...
Richard Wolski, Benjamin Gaidioz, Bernard Touranch...
SPIN
2010
Springer
15 years 14 days ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
141
Voted
CC
2012
Springer
227views System Software» more  CC 2012»
13 years 10 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 7 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...