8874 search results - page 296 / 1775 » A New Implementation of Automath |
150
click to vote
HICSS
2003
IEEE
16 years 13 hour ago
2003
IEEE
The Web, the collection of all devices connected to the Internet, is on the verge of experiencing a massive evolution from a Web of Computers to a Web of Things as new devices suc...
175
click to vote
AOSD
2003
ACM
15 years 12 months ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...
182
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
The Java Message Service (JMS) provides a standard asynchronous messaging API, which simplifies the construction of loosely coupled, distributed applications. This paper describes ...
167
click to vote
CF
2010
ACM
15 years 11 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
193
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...