12333 search results - page 551 / 2467 » System Level Modelling for Hardware Software Systems |
185
click to vote
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
185
click to vote
FORTEST
2008
15 years 8 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
185
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Support for optimistic parallelism such as thread-level speculation (TLS) and transactional memory (TM) has been proposed to ease the task of parallelizing software to exploit the...
206
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
200
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...