BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (3)
design (3)
mobil (3)
chip (2)
vote (2)

Stem firmwar$ (all stems)

13 papers:

DACDAC-2015-KleebergerRC #design #verification
Design & verification of automotive SoC firmware (VBK, SR, RC), p. 6.
ICSMEICSME-2015-StanciulescuSW #open source
Forked and integrated variants in an open-source firmware project (SS, SS, AW), pp. 151–160.
FMFM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling
Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
DACDAC-2014-AbarbanelSV #challenge #validation
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
SACSAC-2009-DavtyanKKMNRSSS
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal (SD, SK, AK, LDM, NCN, AR, AS, NS, AAS), pp. 2049–2053.
FMFM-2008-KuritaCN #development #mobile #specification
Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone (TK, MC, YN), pp. 425–429.
SPLCSPLC-2007-MebaneO #complexity #product line
Dynamic Complexity and the Owen Firmware Product Line Program (HM, JTO), pp. 212–222.
OSDIOSDI-2002-KumarL #debugging #model checking #using
Using Model Checking to Debug Device Firmware (SK, KL), pp. 61–74.
ICSMEICSM-1998-Pearse #evolution #metric #using
Using Software Metrics to Control Firmware Evolution (TTP), pp. 72–73.
ASPLOSASPLOS-1982-KamibayashiONA #named #operating system
Heart: An Operating System Nucleus Machine Implemented by Firmware (NK, HO, KN, HA), pp. 195–204.
ASPLOSASPLOS-1982-MaekawaSI #architecture #migration #monitoring
Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming (MM, KS, CI), pp. 185–194.
FMFM-1979-Berg #design #hardware #towards
Towards a Uniform Design Methodology for Software, Firmware, and Hardware (HKB), pp. 1–38.
DACDAC-1974-Hasterlik #automation #design #named
RTL — The firmware Design Automation system (RLH), pp. 284–299.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.