1406 search results - page 117 / 282 » Similarity in Programs |
104
click to vote
VISSOFT
2002
IEEE
15 years 2 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...
APLAS
2009
ACM
15 years 2 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...
SPDP
1993
IEEE
15 years 2 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...
ATAL
2006
Springer
15 years 1 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...
GCA
2007
14 years 11 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...