TSE 2002 | Sciweavers

17

TSE
2002

122views more TSE 2002»

Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing Systems

13 years 4 months ago

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...

claim paper

Read More »

11

click to vote

TSE
2002

83views more TSE 2002»

Optimum Control Limits for Employing Statistical Process Control in Software Process

13 years 4 months ago

Download www.cse.iitk.ac.in

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

claim paper

Read More »

16

click to vote

TSE
2002

125views more TSE 2002»

An Automated Verification Method for Distributed Systems Software Based on Model Extraction

13 years 4 months ago

Download spinroot.com

Gerard J. Holzmann, Margaret H. Smith

claim paper

Read More »

11

click to vote

TSE
2002

83views more TSE 2002»

A Testbed for Configuration Management Policy Programming

13 years 4 months ago

Download www.doc.ic.ac.uk

André van der Hoek, Antonio Carzaniga, Denn...

claim paper

Read More »

13

click to vote

TSE
2002

70views more TSE 2002»

The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities

13 years 4 months ago

Download www.cs.kent.edu

T. Dean Hendrix, James H. Cross II, Saeed Maghsood...

claim paper

Read More »

11

click to vote

TSE
2002

75views more TSE 2002»

Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis

13 years 4 months ago

Download puma.isti.cnr.it

Mary Jean Harrold, Antonia Bertolino

claim paper

Read More »

19

click to vote

TSE
2002

107views more TSE 2002»

Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique

13 years 4 months ago

Download www.di.unito.it

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

claim paper

Read More »

18

click to vote

TSE
2002

98views more TSE 2002»

Measurement Programs in Software Development: Determinants of Success

13 years 4 months ago

Download www.rhsmith.umd.edu

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...

claim paper

Read More »

12

click to vote

TSE
2002

95views more TSE 2002»

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

13 years 4 months ago

Download www.ittc.ku.edu

Peter Frey, Radharamanan Radhakrishnan, Harold W. ...

claim paper