8874 search results - page 343 / 1775 » A New Implementation of Automath |
236
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
New and emerging P2P applications require sophisticated range query capability and also have strict requirements on query correctness, system availability and item availability. W...
182
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The emergence of multi-core and many-core processors has introduced new opportunities and challenges to EDA research and development. While the availability of increasing paral...
159
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...
145
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
146
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Pervasive communications are increasingly sent over mobile devices and personal digital assistants. This trend has been observed during the last football world cup where cellula...