7576 search results - page 238 / 1516 » UNIX as an Application Program |
187
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
164
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
173
click to vote
IBERAMIA
2004
Springer
15 years 12 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
171
click to vote
VECPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
168
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...