Sciweavers

2749 search results - page 195 / 550
» Manufacturing-Aware Physical Design
Sort
View
RTS
2010
90views more  RTS 2010»
15 years 4 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
INFOCOM
2010
IEEE
15 years 3 months ago
Characterization of Non-Manipulable and Pareto Optimal Resource Allocation Strategies for Interference Coupled Wireless Systems
This paper investigates the properties of social choice functions that represent resource allocation strategies in interference coupled wireless systems. The allocated resources ca...
Holger Boche, Siddharth Naik, Tansu Alpcan
PERCOM
2010
ACM
15 years 3 months ago
Towards automated verification of autonomous networks: A case study in self-configuration
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
ANCS
2009
ACM
15 years 3 months ago
Motivating future interconnects: a differential measurement analysis of PCI latency
Local interconnect architectures are at a cusp in which advances in throughput have come at the expense of power and latency. Moreover, physical limits imposed on dissipation and ...
David J. Miller, Philip M. Watts, Andrew W. Moore
96
Voted
JNS
2011
27views more  JNS 2011»
15 years 17 days ago
Robust Optimisation with Normal Vectors on Critical Manifolds of Disturbance-Induced Stability Loss
Dynamic systems that are subject to fast disturbances, parametrised by a disturbance vector d, undergo bifurcations for some values of the disturbance d. In this work we specific...
Benedikt Wirth, Johannes Gerhard, Wolfgang Marquar...