13 search results - page 1 / 3 » Portable and composable real-time software - a disruptive ap... |
EI
2007
13 years 5 months ago
2007
IPPS
2002
IEEE
13 years 10 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 10 days 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 9 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 9 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...