345 search results - page 20 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
131
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
114
click to vote
CC
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
123
click to vote
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
TAPSOFT
1995
Springer
15 years 3 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
129
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...