2501 search results - page 385 / 501 » Logics with Rank Operators |
154
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
120
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
160
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
139
Voted
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
140
Voted
IEEEAMS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...