606 search results - page 34 / 122 » Complexity Results for Checking Distributed Implementability |
115
click to vote
GLVLSI
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
103
click to vote
SIPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic decoding is a new alternative method for low complexity decoding of error-correcting codes. This paper presents the first hardware architecture for stochastic decoding...
106
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
113
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
121
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...