1440 search results - page 56 / 288 » Third-Party Flow Control |
144
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
115
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
High-radix switches are desirable building blocks for large computer interconnection networks, because they are more suitable to convert chip I/O bandwidth into low latency and lo...
106
Voted
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we describe how to extend the concept of superword-level parallelization (SLP), used for multimedia extension architectures, so that it can be applied in the presen...
108
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Run-time communication management in a Network-on-Chip (NoC) is a challenging task. On one hand, the NoC needs to satisfy the communication requirements (e.g. throughput) of runni...
148
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...