2706 search results - page 334 / 542 » The case for a new business model |
170
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
215
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
Modern disk drives read-ahead data and reorder incoming requests in a workload-dependent fashion. This improves their performance, but makes simple analytical models of them inade...
174
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...
170
click to vote
AMC
2006
15 years 6 months ago
2006
Earlier work by Saha et al. rigorously derived a general probabilistic model for the PCR process that includes as a special case the Velikanov-Kapral model where all nucleotide re...
196
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...