5562 search results - page 978 / 1113 » Implementing Parallel Cell-DEVS |
135
click to vote
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
177
Voted
SIGGRAPH
1993
ACM
15 years 6 months ago
1993
ACM
Imaging vector fields has applications in science, art, image processing and special effects. An effective new approach is to use linear and curvilinear filtering techniques to ...
120
Voted
ARC
2007
Springer
15 years 6 months ago
2007
Springer
Many important algorithms in computational biology and related subjects rely on the ability to extract and to identify sub-graphs of larger graphs; an example is to find common fun...
144
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Advances in semiconductor technologies have placed MPSoCs center stage as a standard architecture for embedded applications of ever increasing complexity. Efficient utilization of...
109
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...