1312 search results - page 187 / 263 » Embedded contract languages |
108
Voted
COSIT
2007
Springer
15 years 9 months ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
138
click to vote
ESTIMEDIA
2007
Springer
15 years 9 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
112
Voted
ICESS
2007
Springer
15 years 9 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
139
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
116
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...