3828 search results - page 766 / 766 » Proof-Based System Engineering Using a Virtual System Model |
LCTRTS
2009
Springer
14 years 3 days ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...