3889 search results - page 236 / 778 » The Use of Program Dependence Graphs in Software Engineering |
125
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
High-order matrix or vector expressions tend to be penalized by the use of huge temporary variables. Expression templates is a C++ technique which can be used to avoid these tempor...
132
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
176
click to vote
SERP
2007
15 years 5 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
139
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
181
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...