2226 search results - page 147 / 446 » Pdk: The System and Its Language |
145
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
175
click to vote
ACSE
1996
ACM
15 years 10 months ago
1996
ACM
VIENA Classroom is a collaborative hypermedia education system which is a component of the Virtual Interactive Environment for Workgroups (VIEW), a collaborative environment based...
153
click to vote
IFIP12
2008
15 years 7 months ago
2008
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...
177
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
169
click to vote
TR
2008
15 years 6 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...