Sciweavers

1321 search results - page 98 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
CNSR
2005
IEEE
210views Communications» more  CNSR 2005»
15 years 4 months ago
A Framework for Self-Management of Hybrid Wireless Networks Using Autonomic Computing Principles
The dramatic increase in the number of mobile subscribers has put a significant resource and service provisioning strain on current cellular networks in particular in terms of mu...
Chong Shen, Dirk Pesch, James Irvine
ICC
2007
IEEE
104views Communications» more  ICC 2007»
15 years 9 months ago
A Novel Graph Model for Maximum Survivability in Mesh Networks under Multiple Generic Risks
— This paper investigates the path protection problem in mesh networks under multiple generic risks. Disjoint logical links may fail simultaneously if they share the same compone...
Qingya She, Xiaodong Huang, Jason P. Jue
GECCO
2009
Springer
130views Optimization» more  GECCO 2009»
15 years 9 months ago
Liposome logic
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
James Smaldon, Natalio Krasnogor, Alexander Camero...
101
Voted
CLUSTER
2000
IEEE
15 years 7 months ago
Parallel Simulation of 3D Nonlinear Acoustic Fields on a Linux-cluster
Simulating the propagation of 3D ultrasonic waves in a nonlinear medium is a demanding task. It requires the solution of time-dependent and nonlinear partial differential equation...
Xing Cai, Åsmund Ødegård
KR
1991
Springer
15 years 6 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...