Sciweavers

1680 search results - page 275 / 336
» Automated Model Selection for Simulation
Sort
View
ICNP
2006
IEEE
14 years 3 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
NMR
2004
Springer
14 years 2 months ago
Probabilistic reasoning in dynamic multiagent systems
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
Xiangdong An, Yang Xiang, Nick Cercone
ITC
2003
IEEE
139views Hardware» more  ITC 2003»
14 years 2 months ago
Fault Pattern Oriented Defect Diagnosis for Memories
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
Chih-Wea Wang, Kuo-Liang Cheng, Jih-Nung Lee, Yung...
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
14 years 1 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
CIMAGING
2010
163views Hardware» more  CIMAGING 2010»
13 years 10 months ago
Automatic portion estimation and visual refinement in mobile dietary assessment
As concern for obesity grows, the need for automated and accurate methods to monitor nutrient intake becomes essential as dietary intake provides a valuable basis for managing die...
Insoo Woo, Karl Ostmo, SungYe Kim, David S. Ebert,...