Sciweavers

1537 search results - page 171 / 308
» Domain-Specific Software Component Models
Sort
View
IJHPCA
2011
201views more  IJHPCA 2011»
14 years 11 months ago
The International Exascale Software Project roadmap
  Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
Jack Dongarra, Peter H. Beckman, Terry Moore, Patr...
ASE
2005
124views more  ASE 2005»
15 years 4 months ago
Reuse-Conducive Development Environments
Despite its well-recognized benefits, software reuse has not met its expected success due to technical, cognitive, and social difficulties. We have systematically analyzed the reu...
Yunwen Ye, Gerhard Fischer
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
CONCUR
2006
Springer
15 years 8 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
HCI
2007
15 years 6 months ago
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
Stefan Sauer, Gregor Engels