12373 search results - page 61 / 2475 » Semi-Logarithmic Number Systems |
NICSO
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents the novel use of the Neural-endocrine architecture for swarm robotic systems. We make use of a number of behaviours to give rise to emergent swarm behaviour to ...
ICALP
2010
Springer
14 years 14 days ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
RTA
2010
Springer
13 years 6 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
IMC
2004
ACM
14 years 1 months ago
2004
ACM
The Domain Name System (DNS) is a critical part of the Internet’s infrastructure, and is one of the few examples of a robust, highlyscalable, and operational distributed system....
RTSS
2000
IEEE
14 years 2 days ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...