4370 search results - page 699 / 874 » Algebra of Logic Programming |
117
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
164
Voted
ICDCSW
2009
IEEE
15 years 10 months ago
2009
IEEE
Contemporary computing infrastructure, such as networking stacks, OS and middleware, are made up of layers of software functionality that have evolved over decades to support the ...
167
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...
115
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
110
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...