840 search results - page 39 / 168 » Open multi-methods for c |
120
click to vote
PST
2008
15 years 3 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
146
Voted
ICMLA
2009
14 years 11 months ago
2009
We describe an application of machine learning techniques toward the problem of predicting which network protector switch is the cause of an Alive on Back-Feed (ABF) event in the ...
108
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...
133
click to vote
MOC
2011
14 years 9 months ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...
126
click to vote
ESTIMEDIA
2007
Springer
15 years 8 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...