2523 search results - page 256 / 505 » Correct Development of Embedded Systems |
174
click to vote
CSREAESA
2010
15 years 1 months ago
2010
The primary goal of Built-In Self-Test (BIST) for Field Programmable Gate Arrays (FPGAs) is to completely test all programmable logic and routing resources in the device such that ...
257
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
152
Voted
IAJIT
2011
14 years 6 months ago
2011
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
111
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
108
click to vote
CSCW
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we look at how people working in a governmental labor inspection agency tailor their shared PC environment. Starting with standard off-the-shelf software, the tailo...