Sciweavers

1393 search results - page 98 / 279
» Virtual-Channel Flow Control
Sort
View
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
14 years 2 months ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
14 years 10 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal
ADC
2007
Springer
150views Database» more  ADC 2007»
14 years 4 months ago
Beyond Purpose-Based Privacy Access Control
Research efforts have been directed toward the improvement of privacy protecting technology by incorporating privacy protection into database systems. Purpose acts as a central co...
Sabah S. Al-Fedaghi
ICRA
1994
IEEE
118views Robotics» more  ICRA 1994»
14 years 2 months ago
An Analytical and Experimental Investigation of a Jet Pipe Controlled Electropneumatic Actuator
An analytical and experimental investigation of a jet pipe controlled electropneumatic servoactuator designed for use in the Utah/MIT dextrous hand (UMDH) has been performed. An ac...
Paul D. Henri, John M. Hollerbach
CONEXT
2007
ACM
14 years 2 months ago
Fairer TCP-friendly congestion control protocol for multimedia streaming applications
We present TFWC, a TCP-friendly window-based congestion control mechanism for real-time multimedia streaming applications. Although TFRC is regarded as a de facto standard for tho...
Soo Hyun Choi, Mark Handley