370 search results - page 32 / 74 » The soft-output principle - reminiscences and new developmen... |
COMCOM
2006
13 years 7 months ago
2006
Ethernet passive optical networks (EPONs) technology has emerged as a promising candidate for next-generation broadband access networks. As this technology evolves, the developmen...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
A number of researchers have become interested in the design of global-scale networked systems and applications. Our thesis here is that the database community's principles a...
IWINAC
2009
Springer
14 years 2 months ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
RTA
2004
Springer
14 years 1 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...