546 search results - page 77 / 110 » An Action Semantics for MML |
125
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
120
click to vote
FAST
2010
15 years 4 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
122
click to vote
ENTCS
2008
15 years 2 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
100
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
110
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...