9015 search results - page 1674 / 1803 » Using Structural Computing to Support Information Integratio... |
127
click to vote
WOTUG
2008
15 years 3 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
127
click to vote
BIOINFORMATICS
2006
15 years 2 months ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
155
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
118
click to vote
HPCA
2007
IEEE
16 years 2 months ago
2007
IEEE
Chip multiprocessors with multiple simpler cores are gaining popularity because they have the potential to drive future performance gains without exacerbating the problems of powe...
105
click to vote
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
Wait-free implementations of shared objects tolerate the failure of processes, but not the failure of base objects from which they are implemented. We consider the problem of imple...