4799 search results - page 595 / 960 » Model Based Requirements Engineering for Embedded Software |
196
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
171
click to vote
VLSI
2007
Springer
16 years 26 days ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
180
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
197
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
170
click to vote
VAMOS
2007
Springer
16 years 26 days ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...