1109 search results - page 197 / 222 » Towards an analysis of dynamic environments |
160
Voted
ICN
2009
Springer
16 years 19 days ago
2009
Springer
Recent works on modeling the Internet topology [8, 9] have highlighted how the complexity of relationships between Autonomous Systems (ASes) can not be oversimplified without sac...
180
click to vote
ICARCV
2008
IEEE
16 years 16 days ago
2008
IEEE
Digital colour cameras are dramatically falling in price, making them affordable for ubiquitous appliances in many applications. An attempt to use colour information reveals a si...
191
click to vote
MICRO
2008
IEEE
16 years 14 days ago
2008
IEEE
As companies move towards many-core chips, an efficient onchip communication fabric to connect these cores assumes critical importance. To address limitations to wire delay scala...
169
click to vote
EMSOFT
2007
Springer
16 years 7 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
179
Voted
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...