16859 search results - page 2950 / 3372 » Generative software development |
201
click to vote
LCPC
2004
Springer
16 years 6 days ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
171
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
162
click to vote
PCM
2004
Springer
16 years 6 days ago
2004
Springer
Compared with previous video coding standards, H.264/AVC employs a division-free quantization scheme. The relation between quantization parameter and quantization step changes from...
191
click to vote
PRIMA
2004
Springer
16 years 6 days ago
2004
Springer
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
169
click to vote
SBIA
2004
Springer
16 years 6 days ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...