3663 search results - page 353 / 733 » Problems in the ontology of computer programs |
189
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
213
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
215
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
165
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
200
click to vote
BROADNETS
2006
IEEE
16 years 26 days ago
2006
IEEE
— This paper presents the design and dimensioning optimization of a novel optical network structure, called the Petaweb, having a total capacity of several Pb/s (1015 bit/s). Its...