27827 search results - page 388 / 5566 » Generating |
141
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
130
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
Sweep method is one of the most robust techniques to generate hexahedral meshes in extrusion volumes. One of the main issues to be dealt by any sweep algorithm is the projection o...
203
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
127
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
127
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...