2255 search results - page 207 / 451 » High Assurance Software Systems |
169
click to vote
VISSOFT
2005
IEEE
16 years 2 days ago
2005
IEEE
Versioning systems such as CVS or Subversion exhibit a large potential to investigate the evolution of software systems. They are used to record the development steps of software ...
237
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
185
click to vote
LCR
2000
Springer
15 years 10 months ago
2000
Springer
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
284
click to vote
DAGSTUHL
2011
14 years 6 months ago
2011
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...
164
click to vote
MC
2001
15 years 7 months ago
2001
The growing popularity of computers in all areas of daily life leads to the situation that an increasing number of people with diverse know-how of computers and software use these...