1312 search results - page 243 / 263 » Embedded contract languages |
127
Voted
EMSOFT
2010
Springer
15 years 20 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
145
Voted
IEEEHPCS
2010
15 years 17 days ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
161
Voted
IOT
2010
15 years 17 days ago
2010
Abstract--Many efforts are centered around creating largescale networks of "smart things" found in the physical world (e.g., wireless sensor and actuator networks, embedd...
138
Voted
LPAR
2010
Springer
15 years 17 days ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
116
Voted
ASWEC
2009
IEEE
15 years 14 days ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...