1793 search results - page 85 / 359 » On the Design of Codes for DNA Computing |
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
NOSSDAV
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. We introduce the concept of Dynamic Rate Shaping, a technique to adapt the rate ofcompressed video bitstreams MPEG-1, MPEG2, H.261, as well as JPEG to dynamically varyi...
563
click to vote
Lecture Notes
I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...