4820 search results - page 203 / 964 » Implementing Signatures for C |
108
click to vote
ISCOPE
1998
Springer
15 years 7 months ago
1998
Springer
The multiple minimum degree (MMD) algorithm and its variants have enjoyed 20+ years of research and progress in generating ll-reducing orderings for sparse, symmetric positive de n...
138
click to vote
ACL
2009
15 years 1 months ago
2009
We developed caitra, a novel tool that aids human translators by (a) making suggestions for sentence completion in an interactive machine translation setting, (b) providing altern...
117
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
168
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
125
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we use the generalized binary de Bruijn (GBDB) graph as a scalable and efficient network topology for an on-chip communication network. Using just two-layer wiring,...