13 search results - page 1 / 3 » Portable and composable real-time software - a disruptive ap... |
EI
2007
13 years 6 months ago
2007
IPPS
2002
IEEE
13 years 11 months ago
2002
IEEE
Traditional real-time software development methodologies require full knowledge of the resource capability of target platforms during the development stage. However, such knowledg...
ECBS
2010
IEEE
14 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
FCCM
2004
IEEE
13 years 10 months ago
2004
IEEE
Reconfigurable System-on-Chip (SoC) platforms that incorporate hard-core processors surrounded by large amounts of FPGA are today commodities: the reconfigurable logic is often us...