Financial modeling represents a promising industry application of high performance computing. In previous work, parallel stock option pricing models were developed for the Connect...
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Database visualization is an area of growing importance as database systems become larger and more accessible. DataSplash is an easy-to-use, integrated environment for navigating,...
Chris Olston, Allison Woodruff, Alexander Aiken, M...