Sciweavers

514 search results - page 82 / 103
» Supporting requirements update during software evolution
Sort
View
WIESS
2000
14 years 12 months ago
HP Caliper: An Architecture for Performance Analysis Tools
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
Robert Hundt
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 4 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
ICDCS
1990
IEEE
15 years 2 months ago
A Constructive Approach to the Design of Distributed Systems
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
Jeff Kramer, Jeff Magee, Anthony Finkelstein
ECEASST
2008
84views more  ECEASST 2008»
14 years 10 months ago
An Incremental OCL Compiler for Modeling Environments
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
Tamás Vajk, Gergely Mezei, Tihamer Levendov...
TVLSI
2008
152views more  TVLSI 2008»
14 years 10 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...