2108 search results - page 153 / 422 » An Operational Semantics for Stateflow |
166
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
142
click to vote
TLDI
2009
ACM
16 years 1 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 ...
140
click to vote
MICRO
2009
IEEE
15 years 11 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...
173
click to vote
SAMT
2007
Springer
15 years 11 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...
148
click to vote
SEMWEB
2007
Springer
15 years 11 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...