932 search results - page 131 / 187 » Verifying Progress in Timed Systems |
192
click to vote
USENIX
2008
15 years 9 months ago
2008
Despite a low occurrence rate, silent data corruption represents a growing concern for storage systems designers. Throughout the storage hierarchy, from the file system down to th...
153
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Software engineering data (such as code bases, execution traces, historical code changes, mailing lists, and bug databases) contains a wealth of information about a project's...
164
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
168
click to vote
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
In recent years, there is an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the context of information and knowledge...
149
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
We report on analysis of discussions in an online community of people with chronic illness using socio-cognitively motivated, automatically produced semantic spaces. The analysis ...