6014 search results - page 104 / 1203 » Parametric Analysis of Computer Systems |
142
click to vote
CCGRID
2005
IEEE
15 years 12 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...
168
click to vote
PPDP
2007
Springer
16 years 12 days 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....
158
click to vote
EURONGI
2008
Springer
15 years 8 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...
216
click to vote
PODC
1996
ACM
15 years 10 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...
163
click to vote
CMSB
2009
Springer
16 years 26 days 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...