2473 search results - page 434 / 495 » The Logic of Communication Graphs |
129
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
136
Voted
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...
117
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we consider the problem of nding llpreserving ordering of a sparse symmetric and positive de nite matrix such that the reordered matrix is suitable for parallel fac...
130
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
137
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...