6149 search results - page 105 / 1230 » Revealing the programming process |
90
Voted
HPDC
1996
IEEE
15 years 4 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...
77
Voted
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
98
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
89
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...