2960 search results - page 261 / 592 » A vision for embedded software |
169
click to vote
RTAS
2005
IEEE
16 years 6 days ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
163
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
184
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
175
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
167
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...