10159 search results - page 1797 / 2032 » System Design Validation Using Formal Models |
171
click to vote
HPCC
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
145
click to vote
ISCAS
2005
IEEE
16 years 6 days ago
2005
IEEE
— Fast Fourier transform (FFT) algorithms are used in a wide variety of digital signal processing applications and many of these require high-performance parallel implementations...
191
click to vote
VRST
2005
ACM
16 years 5 days ago
2005
ACM
This paper proposes a novel tabletop display system for natural communication and flexible information sharing. The proposed system is specifically designed for integration of 2...
158
click to vote
WCE
2007
15 years 7 months ago
2007
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
205
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...