1063 search results - page 74 / 213 » Programming Methodologies in GCLA |
146
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
179
click to vote
CODES
2006
IEEE
16 years 7 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
150
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
167
click to vote
MST
1998
15 years 5 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...
158
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
The performance of server-side applications is becoming increasingly important as more applications exploit the Web application model. Extensive work has been done to improve the ...