8874 search results - page 410 / 1775 » A New Implementation of Automath |
174
click to vote
WETICE
1995
IEEE
15 years 11 months ago
1995
IEEE
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...
187
click to vote
USENIX
2007
15 years 10 months ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
169
click to vote
USENIX
2007
15 years 10 months ago
2007
—People increasingly put more than one OSes into their computers and devices like mobile phones. Multi-boot and virtualization are two common technologies for this purpose. In th...
187
click to vote
ARC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we present a networked lightweight and partially reconfigurable platform assisted by a remote bitstreams server. We propose a software and hardware architec...
228
click to vote
ARCS
2008
Springer
15 years 9 months ago
2008
Springer
: Sorting large data sets has always been an important application, and hence has been one of the benchmark applications on new parallel architectures. We present a parallel sortin...