10159 search results - page 1945 / 2032 » System Design Validation Using Formal Models |
PACT
2009
Springer
14 years 19 days ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
ISORC
2000
IEEE
14 years 14 days ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...
ICS
1994
Tsinghua U.
14 years 5 days ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
FDTC
2006
Springer
13 years 11 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
ASSETS
2008
ACM
2008
ACM
Refreshable tactile graphics applied to schoolbook illustrations for students with visual impairment
13 years 10 months ago
This article presents research on making schoolbook illustrations accessible for students with visual impairment. The MaskGen system was developed to interactively transpose illus...