2364 search results - page 432 / 473 » An Engine for Computing Well-Founded Models |
152
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
142
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
126
Voted
IEEESP
2007
15 years 3 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
156
Voted
CGF
2004
15 years 3 months ago
2004
Visualization is a powerful tool for analysing data and presenting results in science, engineering and medicine. This paper reviews ways in which it can be used in distributed and...
147
Voted
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...