5377 search results - page 229 / 1076 » Programming Languages For Interactive Computing |
126
Voted
APIN
1998
15 years 24 days 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...
110
Voted
ICFP
2008
ACM
16 years 1 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...
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...
118
Voted
ACSD
2010
IEEE
14 years 11 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....
104
Voted
MEMBRANE
2004
Springer
15 years 6 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 ...