4854 search results - page 43 / 971 » It's the Programming, Stupid |
206
click to vote
FORTE
2009
15 years 3 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
178
click to vote
LOGCOM
2010
15 years 4 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
201
click to vote
DATE
2010
IEEE
15 years 24 days ago
2010
IEEE
The stream processing characteristics of many embedded system applications in multimedia and networking domains have led to the advent of stream based programming formats. Several ...
158
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
134
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...