29152 search results - page 209 / 5831 » A Model of Computation for MapReduce |
255
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
136
click to vote
AEI
2010
15 years 6 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
218
click to vote
VISAPP
2010
15 years 4 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
192
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
148
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We introduce a class of embedded-particle models for describing the emergent computational strategies observed in cellular automata (CAs) that were evolved for performing...