2878 search results - page 456 / 576 » Analyzing the Uses of a Software Modeling Tool |
219
click to vote
EUROSYS
2010
ACM
16 years 16 days ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
177
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
184
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
187
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present and analyze two new communication libraries, cudaMPI and glMPI, that provide an MPI-like message passing interface to communicate data stored on the graphics cards of...
150
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...