2844 search results - page 228 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
171
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
155
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
165
click to vote
AGP
1995
IEEE
15 years 9 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
194
click to vote
CUZA
2002
15 years 6 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
173
click to vote
SCP
1998
15 years 6 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...