49 search results - page 10 / 10 » A Mechanized Refinement Framework for Analysis of Custom Mem... |
KAIS
2010
13 years 4 months ago
2010
Web advertising (Online advertising), a form of advertising that uses the World Wide Web to attract customers, has become one of the world’s most important marketing channels. Th...
BMCBI
2008
13 years 5 months ago
2008
Background: Leishmania and other members of the Trypanosomatidae family diverged early on in eukaryotic evolution and consequently display unique cellular properties. Their appare...
ESTIMEDIA
2009
Springer
14 years 4 days ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
SAC
2010
ACM
14 years 2 days ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...