10055 search results - page 1425 / 2011 » Structured programming using processes |
184
click to vote
PE
2011
Springer
14 years 12 months ago
2011
Springer
Structured QBDs by Abstraction Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Fellow, IEEE, and Joost-Pieter Katoen, Member, IEEE Computer Society —This paper studies quantita...
167
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we develop the theory of a new class of two dimensional arrays with sensors on lattice(s) which can be used to construct a virtual array of much larger size through...
157
Voted
SI3D
2005
ACM
15 years 10 months ago
2005
ACM
We present a new interactive method to texture complex geometries at very high resolution, while using little memory and without the need for a global planar parameterization. We ...
141
click to vote
ICDCS
1990
IEEE
15 years 9 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
161
click to vote
VIP
2001
15 years 6 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...