1261 search results - page 43 / 253 » A taxonomy for identifying requirement interactions in softw... |
145
click to vote
FPL
2007
Springer
16 years 8 days ago
2007
Springer
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
158
click to vote
WCET
2010
15 years 4 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
144
click to vote
ISSTA
2009
ACM
16 years 18 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
175
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
173
click to vote
IWSOS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...