2470 search results - page 169 / 494 » Liveness-Preserving Simulation Relations |
206
click to vote
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a ...
FIMH
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
WDAG
2004
Springer
15 years 6 months ago
2004
Springer
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
107
click to vote
VISUALIZATION
2002
IEEE
15 years 5 months ago
2002
IEEE
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
CASES
2009
ACM
15 years 4 months ago
2009
ACM
Reducing feature sizes and power supply voltage allows integrating more processing units (PUs) on multiprocessor system-on-chip (MPSoC) to satisfy the increasing demands of applic...