10159 search results - page 1945 / 2032 » System Design Validation Using Formal Models |
121
Voted
PACT
2009
Springer
15 years 6 months 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...
114
Voted
ISORC
2000
IEEE
15 years 6 months 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 ...
150
click to vote
ICS
1994
Tsinghua U.
15 years 6 months 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...
112
Voted
FDTC
2006
Springer
15 years 5 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....
116
Voted
ASSETS
2008
ACM
2008
ACM
Refreshable tactile graphics applied to schoolbook illustrations for students with visual impairment
15 years 4 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...