共 50 条
- [1] Evaluating the Governance Model of Hardware-Dependent Software Ecosystems - A Case Study of the Axis Ecosystem SOFTWARE BUSINESS: TOWARDS CONTINUOUS VALUE DELIVERY, 2014, 182 : 212 - +
- [3] Introduction to Hardware-dependent Software Design Hardware-dependent Software for Multi- and Many-Core Embedded Systems PROCEEDINGS OF THE ASP-DAC 2009: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2009, 2009, : 290 - +
- [4] An Equivalence Checker for Hardware-Dependent Embedded System Software 2013 ELEVENTH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE 2013), 2013, : 119 - 128
- [5] A Property Language for the Specification of Hardware-Dependent Embedded System Software PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
- [6] Verification of Real-Time Properties for Hardware-Dependent Software 2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2010, : 154 - 159
- [7] The Wild West: Conquest of complex Hardware-dependent Software design DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2009, : 878 - +
- [9] Hardware-dependent Software Synthesis for Many-Core Embedded Systems PROCEEDINGS OF THE ASP-DAC 2009: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2009, 2009, : 304 - 310
- [10] A Computational Model for SAT-based Verification of Hardware-Dependent Low-Level Embedded System Software 2013 18TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2013, : 711 - 716