1631 search results - page 162 / 327 » Uniform Distributed Synthesis |
119
click to vote
ASAP
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we analyze the theoretical delay bound of the SHA-1 algorithm and propose architectures to achieve high throughput hardware implementations which approach this boun...
123
click to vote
ASAP
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents the Molen FemtoJava engine that is extended with concepts taken from the Molen polymorphic processor. This allows for the existing FemtoJava to be augmented wi...
124
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
128
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
179
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...