426 search results - page 73 / 86 » Synchronization of Regular Automata |
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
INFOCOM
2000
IEEE
14 years 2 days ago
2000
IEEE
Abstract—Many researchers have observed that TCP’s congestion control mechanisms can lead to bursty traffic flows on modern high-speed networks, with a negative impact on ove...
ARC
2010
Springer
13 years 11 months ago
2010
Springer
Coarse Grained Reconfigurable Array (CGRA) architectures give high throughput and data reuse for regular algorithms while providing flexibility to execute multiple algorithms on th...