2836 search results - page 497 / 568 » Model Checking for Software Architectures |
152
click to vote
EDOC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
145
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
153
click to vote
HIPEAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
159
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
169
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...