3733 search results - page 77 / 747 » Logics of communication and change |
148
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
176
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
The realisation of Delay-Insensitive (DI) asynchronous circuits with a CMOS ternary logic is described in this paper. The main advantage of temary logic is the easy realisation of...
157
click to vote
IFIP
2009
Springer
16 years 25 days ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
131
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
In many applications such as high-level synthesis (HLS) and logic synthesis and possibly engineering change order (ECO) we would like to get fast and accurate estimations of diffe...
139
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...