5863 search results - page 796 / 1173 » On Model-Checking of P Systems |
190
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
In central catadioptric systems, lines in a scene are projected to conic curves in the image. This work studies the geometry of the central catadioptric projection of lines and its...
302
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
188
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
163
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Operator mistakes are a significant source of unavailability in modern Internet services. In this paper, we first characterize these mistakes by performing an extensive set of exp...
183
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...