Sciweavers

2878 search results - page 283 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby
SDL
2007
171views Hardware» more  SDL 2007»
15 years 8 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
EOR
2007
123views more  EOR 2007»
15 years 6 months ago
A stochastic model for risk management in global supply chain networks
With the increasing emphasis on supply chain vulnerabilities, effective mathematical tools for analyzing and understanding appropriate supply chain risk management are now attrac...
Mark Goh, Joseph Y. S. Lim, Fanwen Meng
ISI
2008
Springer
15 years 6 months ago
A Generative Model for Statistical Determination of Information Content from Conversation Threads
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
Yingjie Zhou, Malik Magdon-Ismail, William A. Wall...
CDVE
2006
Springer
160views Visualization» more  CDVE 2006»
15 years 10 months ago
Automated Social Network Analysis for Collaborative Work
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
Larry Korba, Ronggong Song, George Yee, Andrew S. ...