5377 search results - page 229 / 1076 » Programming Languages For Interactive Computing |
168
click to vote
APIN
1998
15 years 4 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
149
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
129
click to vote
FOSSACS
2005
Springer
15 years 10 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...
155
click to vote
ACSD
2010
IEEE
15 years 3 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
143
click to vote
MEMBRANE
2004
Springer
15 years 10 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...