2935 search results - page 541 / 587 » An Integrated Approach to High Integrity Software Verificati... |
122
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
As a prevalent constraint, sharp slew rate is often required in circuit design which causes a huge demand for buffering resources. This problem requires ultra-fast buffering techn...
151
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
143
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
For complex robotic tasks (manipulation, locomotion, haptics, ...), the lack of knowledge of precise interaction models, the difficulties to precisely measure the task associated ...
153
click to vote
SLIP
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we describe an accurate metric (perimeter-degree) for measuring interconnection complexity and effective use of it for controlling congestion in a multilevel framew...
124
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
In an integrated services network, resources are shared by multiple traffic classes. Service classes that deliver guaranteed Quality-ofService (QoS) to applications have priority ...