142 search results - page 22 / 29 » Predictable programming on a precision timed architecture |
117
click to vote
PVM
2005
Springer
15 years 3 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
83
Voted
CAL
2007
14 years 9 months ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...