7179 search results - page 352 / 1436 » Design for Product Adaptability |
156
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
183
Voted
ITICSE
2003
ACM
16 years 3 days ago
2003
ACM
In this paper we present a new learning environment to be used in an introductory programming course for students that are non-majors in computer science, more precisely for multi...
171
Voted
DAGSTUHL
2006
15 years 8 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
216
click to vote
PERCOM
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, we present a new concept of distributed adaptation and P2P streaming supporting the expansion of context-aware mobile P2P systems. Here, we propose to adapt video c...
191
Voted
PPAM
2007
Springer
16 years 29 days ago
2007
Springer
We present a parallel algorithm for solving the 4D Vlasov equation. Our algorithm is designed for distributed memory architectures. It uses an adaptive numerical method which reduc...