Sciweavers

653 search results - page 26 / 131
» Embedded software generation from system level design langua...
Sort
View
APCCM
2008
14 years 11 months ago
Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CSREAESA
2004
14 years 11 months ago
An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
APN
2000
Springer
15 years 2 months ago
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
Mohammed Elkoutbi, Rudolf K. Keller
CC
2008
Springer
111views System Software» more  CC 2008»
14 years 11 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
IPPS
2006
IEEE
15 years 3 months ago
FPGA implementation of a license plate recognition SoC using automatically generated streaming accelerators
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
Nikolaos Bellas, Sek M. Chai, Malcolm Dwyer, Dan L...