Sciweavers

11588 search results - page 211 / 2318
» Will They Like This
Sort
View
101
Voted
CASES
2001
ACM
15 years 4 months ago
Efficient longest executable path search for programs with complex flows and pipeline effects
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...
Friedhelm Stappert, Andreas Ermedahl, Jakob Engblo...
91
Voted
NAA
2000
Springer
97views Mathematics» more  NAA 2000»
15 years 4 months ago
Nested-Dissection Orderings for Sparse LU with Partial Pivoting
We describe the implementation and performance of a novel fill-minimization ordering technique for sparse LU factorization with partial pivoting. The technique was proposed by Gilb...
Igor Brainman, Sivan Toledo
105
Voted
RELMICS
2000
Springer
15 years 4 months ago
A Decision Method for Duration Calculus
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
Nathalie Chetcuti-Sperandio, Luis Fariñas d...
AADEBUG
1995
Springer
15 years 4 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas
COST
1995
Springer
61views Multimedia» more  COST 1995»
15 years 4 months ago
GLASS: A Distributed MHEG-Based Multimedia System
: This paper is about GLASS2 , a distributed multimedia system that is currently under development. The multimedia department of the IBM European Networking Center in Heidelberg, G...
H. Cossmann, Carsten Griwodz, G. Grassel, M. P&uum...