6014 search results - page 104 / 1203 » Parametric Analysis of Computer Systems |
103
Voted
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
Genome comparison and analysis can reveal the structures and functions of genome sequences of different species. As more genomes are sequenced, genomic data sources are rapidly in...
127
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
119
Voted
EURONGI
2008
Springer
15 years 4 months ago
2008
Springer
In traditional channelized multiple access systems, e.g., TDMA and FDMA, each user is assigned a fixed amount of bandwidth during the whole service time, and the teletraffic perfor...
172
click to vote
PODC
1996
ACM
15 years 6 months ago
1996
ACM
This paper is an answer to the question: "What is unique and conceptually different about mobile computing?" The paper begins by describing a set of constraints intrinsi...
123
Voted
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...