3911 search results - page 68 / 783 » Using Operational Architecture to Model Embedded Software |
144
Voted
WCRE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
132
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Software energy estimation is a critical step in the design of energyefficient embedded systems. Instruction-level simulation techniques, despite several advances, remain too slo...
130
Voted
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
114
Voted
OOPSLA
1998
Springer
15 years 6 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
107
Voted
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Embedded processors are increasingly deployed in applications requiring high performance with good real-time characteristics whilst being low power. Parallelism has to be extracte...