966 search results - page 98 / 194 » Communicating Answer Set Programs |
151
click to vote
LCPC
1995
Springer
15 years 6 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
239
Voted
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
121
Voted
MICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
111
click to vote
IPPS
1995
IEEE
15 years 6 months ago
1995
IEEE
For better utilization of computing resources, it is important to consider parallel programming environments in which the number of available processors varies at runtime. In this...
128
Voted
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...