Sciweavers

3514 search results - page 516 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
IPPS
2008
IEEE
15 years 9 months ago
GPU acceleration of numerical weather prediction
Weather and climate prediction software has enjoyed the benefits of exponentially increasing processor power for almost 50 years. Even with the advent of large-scale parallelism ...
John Michalakes, Manish Vachharajani
120
Voted
FMICS
2007
Springer
15 years 8 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
EUROSYS
2010
ACM
15 years 8 months ago
XCPU3: Workload Distribution and Aggregation
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to the bus...
Pravin Shinde, Eric Van Hensbergen
148
Voted
FDL
2006
IEEE
15 years 8 months ago
Bridging the Gap Between SysML and Design Space Exploration
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
Mauro Prevostini, Sivakumar Ganesan
CSCWD
2005
Springer
15 years 8 months ago
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
Marco Aurélio Gerosa, Mariano Gomes Pimente...