4902 search results - page 202 / 981 » Multi-agent Systems Methodology |
156
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Channel coding is an important building block in communication systems since it ensures the quality of service. Irregular repeat-accumulate (IRA) codes belong to the class of Low-...
128
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
The Earth’s tectonic plates are strong, viscoelastic shells which make up the outermost part of a thermally convecting, predominantly viscous layer; at the boundaries between pla...
156
Voted
CAV
1998
Springer
15 years 9 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
183
Voted
ASAP
1997
IEEE
15 years 9 months ago
1997
IEEE
Improvements in semiconductor integration density and the resulting problem of having to manage designs of increasing complexity is an old one, but still current. The new challeng...
145
Voted
DAC
1996
ACM
15 years 9 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...