13734 search results - page 192 / 2747 » Abstractions of data types |
151
click to vote
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...
142
click to vote
DAGSTUHL
1993
15 years 7 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
131
click to vote
TGC
2007
Springer
16 years 16 days ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
171
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In this paper we study a broad class of semiMarkovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue an...
156
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...