4386 search results - page 678 / 878 » A Tamper-Resistant Programming Language System |
226
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
234
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
265
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
232
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
109
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...