1541 search results - page 179 / 309 » Tools and Techniques for Model Checking Networked Programs |
148
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
161
click to vote
ICDT
2012
ACM
13 years 7 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
155
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
114
click to vote
ICANNGA
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a new technique for automatically developing Artificial Neural Networks (ANNs) by means of an Evolutionary Computation (EC) tool, called Genetic Programming (G...
142
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...