668 search results - page 69 / 134 » Implementing and Evaluating Automatic Checkpointing |
112
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
131
Voted
ICIA
2007
15 years 5 months ago
2007
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
133
Voted
FLAIRS
2008
15 years 5 months ago
2008
In this paper, we propose a new methodology based on directed weighted graphs and the TextRank algorithm to automatically induce general-specific noun relations from web corpora f...
94
Voted
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
108
Voted
EKAW
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we propose a new methodology based on directed graphs and the TextRank algorithm to automatically induce general-specific noun relations from web corpora frequency c...