1850 search results - page 166 / 370 » Design-for-debugging of application specific designs |
170
click to vote
IJITN
2010
15 years 1 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
136
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
105
click to vote
INTERACT
2003
15 years 5 months ago
2003
: This paper reports on current development of usability heuristics for large screen information exhibits. By basing the creation of such heuristics on real systems, and identifyin...
111
click to vote
OSDI
1996
ACM
15 years 5 months ago
1996
ACM
This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a unifying infrastructure for several OS mechanisms that have been introduce...
153
click to vote
TSI
2008
15 years 3 months ago
2008
This paper presents the design, implementation and evaluation of Jade, an environment for autonomic management of legacy software infrastructures. This environment relies on two ma...