2129 search results - page 365 / 426 » Cutting-Edge Timing Analysis Techniques |
104
Voted
COORDINATION
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
116
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
96
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
106
Voted
ESEM
2008
ACM
15 years 2 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...
106
Voted
AVI
2006
15 years 1 months ago
2006
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...