2813 search results - page 488 / 563 » Formalizing Architectural Connection |
138
click to vote
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
122
click to vote
ISCA
1997
IEEE
15 years 7 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
151
click to vote
MM
1993
ACM
15 years 7 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
131
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
125
click to vote
ITP
2010
15 years 7 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...