2184 search results - page 126 / 437 » Assistive Embedded Technologies |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
IWSSD
2000
IEEE
15 years 2 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
164
click to vote
CSMR
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...