1406 search results - page 117 / 282 » Similarity in Programs |
160
click to vote
VISSOFT
2002
IEEE
15 years 8 months ago
2002
IEEE
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
118
Voted
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
148
Voted
SPDP
1993
IEEE
15 years 7 months ago
1993
IEEE
This paper examines how the performance of a shared-memory multiprocessor can be improved by including hardware support for block transfers. A system similar to the Hector multipr...
91
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
121
Voted
GCA
2007
15 years 5 months ago
2007
This paper describes an investigation into the provision of grid computing facilities in a typical university environment. In particular, it focuses on the use of the Java programm...