12333 search results - page 597 / 2467 » System Level Modelling for Hardware Software Systems |
195
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
173
click to vote
MASCOTS
2007
15 years 8 months ago
2007
— We present a tool, PerfCenter, that takes as input the deployment, configuration, message flow and workload details of the hardware and software servers in an application hos...
179
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
217
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
190
click to vote
CACM
2011
15 years 2 months ago
2011
This paper presents Sora, a fully programmable software radio platform on commodity PC architectures. Sora combines the performance and fidelity of hardware SDR platforms with th...