2935 search results - page 373 / 587 » An Integrated Approach to High Integrity Software Verificati... |
179
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...
161
click to vote
ICDT
2003
ACM
15 years 11 months ago
2003
ACM
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
189
click to vote
JPDC
2011
15 years 1 months ago
2011
As data volumes increase at a high speed in more and more application fields of science, engineering, information services, etc., the challenges posed by data-intensive computing...
167
click to vote
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
161
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We propose two novel integration techniques -- bypass and bookkeeping -- in the memory controller to address the cache coherence compatibility issue of a non-shared bus heterogene...