2206 search results - page 102 / 442 » On the power of coercion abstraction |
ECAL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper reports on the proof-of-concept work to produce an energetically autonomous robot employing an artificial metabolic system using Microbial Fuel Cells. The pres...
ISSS
1999
IEEE
14 years 2 months ago
1999
IEEE
We present a new exploration and optimization method to select customized implementations for dynamic data sets, as encountered in telecom network, database and multimedia applica...
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
Abstract -- Current day behavioral-synthesis techniques produce architectures that are power-inefficient in the interconnect. Experiments have demonstrated that in synthesized desi...
LPKR
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...