1114 search results - page 68 / 223 » Validating optimizations of concurrent C C programs |
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
108
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
116
Voted
CPHYSICS
2006
14 years 11 months ago
2006
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speci...