70 search results - page 8 / 14 » Predicated Software Pipelining Technique for Loops with Cond... |
76
Voted
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
106
click to vote
MICRO
1992
IEEE
15 years 1 months ago
1992
IEEE
Software pipelining is an important instruction scheduling technique for efficiently overlapping successive iterations of loops and executing them in parallel. Modulo scheduling i...
78
Voted
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
ICDCS
2003
IEEE
15 years 2 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...