5407 search results - page 852 / 1082 » The Software Engineering Global Model |
205
click to vote
PRESENCE
2010
15 years 1 months ago
2010
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
211
click to vote
ISSTA
2004
ACM
16 years 16 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
220
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
333
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
207
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...