Sciweavers

33356 search results - page 260 / 6672
» Models of Continual Computation
Sort
View
CGF
2007
156views more  CGF 2007»
15 years 6 months ago
QuadCover - Surface Parameterization using Branched Coverings
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
Felix Kälberer, Matthias Nieser, Konrad Polth...
CONCUR
2009
Springer
15 years 4 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
AINA
2008
IEEE
16 years 1 months ago
Thread Allocation in Chip Multiprocessor Based Multithreaded Network Processors
—This work tries to derive ideas for thread allocation in Chip Multiprocessor (CMP)-based network processors performing general applications by Continuous-Time Markov Chain model...
Yi-Neng Lin, Ying-Dar Lin, Yuan-Cheng Lai
ECIS
2011
14 years 6 months ago
Post adoption behaviour of e-service users: an empirical study on chinese online travel service users
Post adoption behaviours of e-service users are important for e-service providers to increase both their revenues and profits. This paper develops a model to investigate the facto...
Hongxiu Li, Yong Liu
CCA
2009
Springer
16 years 1 months ago
Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability
It is folklore particularly in numerical and computer sciences that, instead of solving some general problem f : A → B, additional structural information about the input x ∈ A ...
Martin Ziegler