4799 search results - page 872 / 960 » Model Based Requirements Engineering for Embedded Software |
115
click to vote
PVLDB
2010
15 years 1 months ago
2010
The RDF data model is gaining importance for applications in computational biology, knowledge sharing, and social communities. Recent work on RDF engines has focused on scalable p...
156
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
122
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
149
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we propose a generalized clustering approach for static data flow subgraphs mapped onto individual processors in Multi-Processor System on Chips (MPSoCs). The goal ...
129
click to vote
ISPASS
2008
IEEE
15 years 9 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...