345 search results - page 58 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
130
Voted
NAR
1998
15 years 3 months ago
1998
PRINTS is a database of protein family ‘fingerprints’ offering a diagnostic resource for newly-determined sequences. By contrast with PROSITE, which uses single consensus expr...
122
Voted
CPE
2003
Springer
15 years 8 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
126
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
147
Voted
CONCURRENCY
2010
15 years 3 months ago
2010
As the complexity and scale of current scientific and engineering applications grow, managing and transporting the large amounts of data they generate is quickly becoming a signif...
120
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...