1635 search results - page 77 / 327 » Design Productivity for Configurable Computing |
126
click to vote
DFG
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
148
click to vote
IADIS
2003
15 years 3 months ago
2003
This study stems from a suggestion in the literature (Lohse and Spiller, 1999) that for some products an increase in the amount of information presented on a web site has a negati...
118
Voted
CIIA
2009
15 years 2 months ago
2009
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
128
Voted
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
Partitioned Global Address Space (PGAS) languages combine the programming convenience of shared memory with the locality and performance control of message passing. One such langu...
117
click to vote
SIGECOM
2005
ACM
15 years 7 months ago
2005
ACM
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...