2302 search results - page 163 / 461 » The Evolution of Concurrent Programs |
178
click to vote
ACRI
2006
Springer
16 years 10 days ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
204
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This article, which lies within the data mining framework, proposes a method to build classifiers based on the evolution of rules. The method, named REC (Rule Evolution for Classif...
144
click to vote
CSFW
2008
IEEE
16 years 25 days ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
154
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
175
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...