2016 1st CPSWeek Workshop on Declarative Cyber Physical Systems (DCPS)
| Author/creator | IEEE Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Piscataway : IEEE |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Summary | Annotation Declarative programming has several advantages over imperative programming For example, using the functional reactive programming (FRP) paradigm over the imperative programming style found in languages such as C C C for implementing embedded and real time software allows the programmer to intuitively describe safety critical behaviors of the system, thus lowering the chance of introducing bugs in the design phase Its stateless nature of execution does not require the use of synchronization primitives like mutexes and semaphores, thus reducing the complexity in programming However, accurate response time analysis of FRP based controllers remains a largely unexplored problem Furthermore, efficient runtime architectures and execution platforms for FRP and programs implemented in other declarative languages are nearly absent This workshop addresses these and other relevant issues for the emerging declarative programming paradigm for real time and cyber physical systems |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9781509011513 |
| ISBN | 150901151X (Spiral) Active Record |
| Stock number | 00066573 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |