3415 search results - page 54 / 683 » Physical Design Refinement: The |
CAV
2000
Springer
14 years 2 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
GISCIENCE
2010
Springer
13 years 12 months ago
2010
Springer
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
EJASMP
2010
13 years 5 months ago
2010
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
DAC
2007
ACM
14 years 11 months ago
2007
ACM
Physical Unclonable Functions (PUFs) are innovative circuit primitives that extract secrets from physical characteristics of integrated circuits (ICs). We present PUF designs that...
ACMIDC
2008
14 years 23 days ago
2008
Several simulation environments exist that create a place in which students can explore scientific phenomena. In this paper, we propose design guidelines for creating a classroom ...