533 search results - page 48 / 107 » Protocol synthesis from timed and structured specifications |
108
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...
RTCSA
2000
IEEE
15 years 4 months ago
2000
IEEE
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...
108
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
125
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
-We demonstrate a new algorithm named FlexStem to predict RNA secondary structures with pseudoknots. Our approach is based on the free energy minimization criterion, and utilizes a...
CHI
2006
ACM
16 years 1 months ago
2006
ACM
Most co-authoring tools support basic annotations, such as edits and comments that are anchored at specific locations in the document. However, they do not support metacommentary ...