2935 search results - page 85 / 587 » An Integrated Approach to High Integrity Software Verificati... |
163
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
Optical Burst Switching (OBS) is not only cost-effective, but also provides high throughput, high bandwidth utilization, and low transmission latency. These benefits render OBS a ...
140
click to vote
PDPTA
2000
15 years 5 months ago
2000
This paper deals with multiprocessor systems required to provide both high performance and good figures of dependability attributes. Fault tolerance is pursued through a proper co...
129
click to vote
VL
1995
IEEE
15 years 8 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
155
click to vote
ECBS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
153
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...