2776 search results - page 303 / 556 » System-Level Abstraction Semantics |
176
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
The problem of joint modeling the text and image components of multimedia documents is studied. The text component is represented as a sample from a hidden topic model, learned wi...
221
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
202
click to vote
CJ
2010
15 years 4 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
263
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
155
click to vote
PDIS
1993
IEEE
15 years 10 months ago
1993
IEEE
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...