29082 search results - page 331 / 5817 » The Time-Triggered Model of Computation |
205
Voted
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
97
Voted
COMPUTER
1998
15 years 6 months ago
1998
166
click to vote
HPCN
1994
Springer
15 years 10 months ago
1994
Springer
On large distributed memory parallel computers the global communication cost of inner products seriously limits the performance of Krylov subspace methods 3]. We consider improved ...