Sciweavers

9640 search results - page 1551 / 1928
» Information Systems Development as an Activity
Sort
View
LCPC
2004
Springer
16 years 4 days ago
Experiences in Using Cetus for Source-to-Source Transformations
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
Troy A. Johnson, Sang Ik Lee, Long Fei, Ayon Basum...
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
16 years 2 days ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
HICSS
2003
IEEE
91views Biometrics» more  HICSS 2003»
16 years 2 days ago
Strategic Investment Planning by Using Dynamic Decision Trees
In this paper we shall represent strategic planning problems by dynamic decision trees, in which the nodes are projects that can be deferred or postponed for a certain period of t...
Péter Majlender
ICSM
2003
IEEE
16 years 1 days ago
A Framework for Understanding Conceptual Changes in Evolving Source Code
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
Nicolas Gold, Andrew Mohan
IPPS
2003
IEEE
16 years 1 days ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja
« Prev « First page 1551 / 1928 Last » Next »