Sciweavers

7961 search results - page 1419 / 1593
» Input-Output Model Programs
Sort
View
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
15 years 8 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
133
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
Exploiting Pseudo-Schedules to Guide Data Dependence Graph Partitioning
This paper presents a new modulo scheduling algorithm for clustered microarchitectures. The main feature of the proposed scheme is that the assignment of instructions to clusters ...
Alex Aletà, Josep M. Codina, F. Jesú...
ISCC
2002
IEEE
15 years 8 months ago
Resource and performance management in wireless communication networks
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...
Chih-Hao Lin, Frank Yeong-Sung Lin
ISPAN
2002
IEEE
15 years 8 months ago
Automatic Processor Lower Bound Formulas for Array Computations
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
Peter R. Cappello, Ömer Egecioglu
ISSRE
2002
IEEE
15 years 8 months ago
Inter-Class Mutation Operators for Java
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt
« Prev « First page 1419 / 1593 Last » Next »