Sciweavers

TSE
2002
122views more  TSE 2002»
15 years 13 days ago
Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing Systems
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
Randall S. Janka, Linda M. Wills, Lewis B. Baumsta...
TSE
2002
83views more  TSE 2002»
15 years 13 days ago
Optimum Control Limits for Employing Statistical Process Control in Software Process
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...
Pankaj Jalote, Ashish Saxena
95
Voted
TSE
2002
125views more  TSE 2002»
15 years 13 days ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
TSE
2002
83views more  TSE 2002»
15 years 13 days ago
A Testbed for Configuration Management Policy Programming
André van der Hoek, Antonio Carzaniga, Denn...
88
Voted
TSE
2002
70views more  TSE 2002»
15 years 13 days ago
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities
T. Dean Hendrix, James H. Cross II, Saeed Maghsood...
68
Voted
TSE
2002
75views more  TSE 2002»
15 years 13 days ago
Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis
Mary Jean Harrold, Antonia Bertolino
124
Voted
TSE
2002
107views more  TSE 2002»
15 years 13 days ago
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
Marco Gribaudo, András Horváth
TSE
2002
98views more  TSE 2002»
15 years 13 days ago
Measurement Programs in Software Development: Determinants of Success
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...
Anandasivam Gopal, Mayuram S. Krishnan, Tridas Muk...
91
Voted
TSE
2002
95views more  TSE 2002»
15 years 13 days ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...
88
Voted
TSE
2002
117views more  TSE 2002»
15 years 13 days ago
An Empirical Analysis of C Preprocessor Use
This is the first empirical study of the use of the C macro preprocessor, Cpp. To determine how the
Michael D. Ernst, Greg J. Badros, David Notkin