4299 search results - page 728 / 860 » Concurrent Test Generation |
111
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we consider general rank minimization problems with rank appearing in either objective function or constraint. We first show that a class of matrix optimization prob...
116
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...
105
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
116
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
145
Voted
FAC
2008
15 years 3 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...