Sciweavers

1245 search results - page 35 / 249
» Physical Browsing Research
Sort
View
QSIC
2007
IEEE
14 years 3 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
ICCAD
2000
IEEE
99views Hardware» more  ICCAD 2000»
14 years 1 months ago
On Mismatches between Incremental Optimizers and Instance Perturbations in Physical Design Tools
The incremental, “construct by correction” design methodology has become widespread in constraint-dominated DSM design. We study the problem of ECO for physical design domains...
Andrew B. Kahng, Stefanus Mantik
CPM
1999
Springer
92views Combinatorics» more  CPM 1999»
14 years 1 months ago
Physical Mapping with Repeated Probes: The Hypergraph Superstring Problem
We focus on the combinatorial analysis of physical mapping with repeated probes. We present computational complexity results, and we describe and analyze an algorithmic strategy. W...
Serafim Batzoglou, Sorin Istrail
AAAI
2007
13 years 11 months ago
Stochastic Optimization for Collision Selection in High Energy Physics
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...
Shimon Whiteson, Daniel Whiteson
HCI
2007
13 years 10 months ago
An Architecture for Adaptive and Adaptable Mobile Applications for Physically Handicapped People
Context-awareness is an important capability needed in devices in a ubiquitous computing environment. Ubiquitous computing devices use different types of sensors along with the us...
Matthias Betz, Mahmudul Huq, Volkmar Pipek, Markus...