1154 search results - page 48 / 231 » Mathematizing C concurrency |
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
ASMTA
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
92
Voted
CG
2007
Springer
15 years 17 days ago
2007
Springer
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...
86
Voted
APAL
1998
15 years 8 days ago
1998
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerab...
102
Voted
CONCURRENCY
1998
15 years 7 days ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...