10156 search results - page 226 / 2032 » Step by Step to Histories |
183
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
196
click to vote
CGO
2004
IEEE
15 years 11 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to outer loops. In this paper, we propose a threestep ap...
190
click to vote
AUSDM
2006
Springer
15 years 11 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
184
click to vote
CAAN
2006
Springer
15 years 11 months ago
2006
Springer
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...
199
click to vote
DELTA
2004
IEEE
15 years 11 months ago
2004
IEEE
Spectral warping is a time domain to time domain transformation on a signal that effectively warps the frequency content of the original signal. Here we present a matrix formulati...