3053 search results - page 371 / 611 » Performance of Generative Programming Based Protocol Impleme... |
135
click to vote
FPL
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we present a verification platform designed for HyperTransport 3.x (HT3) applications. HyperTransport 3.x is a very low latency and high bandwidth chip-tochip interc...
127
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
149
click to vote
JSW
2007
15 years 3 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
137
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
131
click to vote
RULEML
2009
Springer
15 years 9 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...