1901 search results - page 205 / 381 » Predicting Program Properties from |
127
click to vote
ISCA
1998
IEEE
15 years 7 months ago
1998
IEEE
Branch prediction has enabled microprocessors to increase instruction level parallelism (ILP) by allowing programs to speculatively execute beyond control boundaries. Although spe...
114
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Ribozymes are small catalytic RNAs that possess the dual functions of sequencespecific RNA recognition and site-specific cleavage. Trans-cleaving ribozymes can inhibit...
112
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
111
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
126
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Executing subordinate activities by pushing return addresses on the stack is the most e cient working mode for sequential programs. It is supported by all current processors, yet i...