Sciweavers

3365 search results - page 670 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
104
Voted
ICDCSW
2000
IEEE
15 years 4 months ago
Enabling Flexible QoS Support in the Object Request Broker COOL
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
Tom Kristensen, Thomas Plagemann
CHI
2009
ACM
16 years 7 days ago
Using bookmark visualizations for self-reflection and navigation
Web users have been employing numerous methods for recalling websites. Bookmarks have been around for some time, but the usefulness of such a system has been under question. The l...
Pooja Mathur, Karrie Karahalios
POPL
2010
ACM
15 years 9 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
DATE
2010
IEEE
107views Hardware» more  DATE 2010»
15 years 4 months ago
An error-correcting unordered code and hardware support for robust asynchronous global communication
A new delay-insensitive data encoding scheme for global asynchronous communication is introduced. The goal of this work is to combine the timing-robustness of delay-insensitive (i....
Melinda Y. Agyekum, Steven M. Nowick
BMCBI
2010
102views more  BMCBI 2010»
14 years 6 months ago
Predicting protein-protein interactions in unbalanced data using the primary structure of proteins
Background: Elucidating protein-protein interactions (PPIs) is essential to constructing protein interaction networks and facilitating our understanding of the general principles ...
Chi-Yuan Yu, Lih-Ching Chou, Darby Tien-Hao Chang