7197 search results - page 347 / 1440 » On the computational power of BlenX |
197
click to vote
RTA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
194
Voted
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
209
click to vote
NETWORK
2011
15 years 1 months ago
2011
The continuous increase in energy consumption by cellular networks requires rethinking their energy efficiency. Current research indicates that one third of operating energy could...
206
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
229
click to vote
ESCIENCE
2006
IEEE
16 years 26 days ago
2006
IEEE
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability...