668 search results - page 69 / 134 » Implementing and Evaluating Automatic Checkpointing |
CAV
2010
Springer
15 years 1 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...
ICIA
2007
15 years 4 days 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...
FLAIRS
2008
15 years 4 days 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...
CODES
2008
IEEE
14 years 11 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...
EKAW
2008
Springer
14 years 11 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...