4323 search results - page 128 / 865 » Callback Implementations in C |
103
click to vote
ISCOPE
1998
Springer
15 years 6 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...
128
click to vote
ACL
2009
15 years 10 days 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...
110
Voted
FATES
2006
Springer
15 years 6 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...
158
Voted
DATE
2009
IEEE
15 years 9 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 ...
116
click to vote
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,...