1280 search results - page 120 / 256 » Soft Typing with Conditional Types |
ACSD
2005
IEEE
14 years 2 months ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Neuromorphic motion sensors are attractive for use on battery powered robots which require a low payload. Their features include low power consumption, continuous computation, ...
IPPS
2005
IEEE
2005
IEEE
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
14 years 2 months ago
In this article, we present the AdOC (Adaptive Online Compression) library. It is a user-level set of functions that enables data transmission with compression. The compression is...
SIGMOD
2005
ACM
14 years 2 months ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...