22698 search results - page 261 / 4540 » Modeling in Software Engineering |
ICSOFT
2007
15 years 5 months ago
2007
224
click to vote
AES
2011
Springer
14 years 4 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
146
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
134
click to vote
HICSS
1995
IEEE
15 years 7 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...