2106 search results - page 87 / 422 » Operational Semantics for MSC'96 |
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
MICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic Random Access Memory (DRAM) is used as the bulk of the main memory in most computing systems and its energy and power consumption has become a first-class design considera...
115
click to vote
SAMT
2007
Springer
15 years 4 months ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
SCAM
2006
IEEE
15 years 3 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...