1393 search results - page 175 / 279 » Virtual-Channel Flow Control |
145
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
121
Voted
ARVLSI
1995
IEEE
15 years 7 months ago
1995
IEEE
A new method of retiming plesiochronous data is described. This method features latency of less than a cell-time and requires only minimal support circuitry. No flow control or ha...
129
click to vote
DBSEC
2006
15 years 4 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
135
Voted
EPK
2006
15 years 4 months ago
2006
: Within the requirements phase of many projects, functional requirements are often documented as Use Cases. Within SOA projects, however, these Use Cases are not sufficient since ...
133
click to vote
NETWORKING
2004
15 years 4 months ago
2004
In this paper we present an extension to an existing hash based packet classification technique in order to improve its performance in a distributed network access control environm...