Sciweavers

3856 search results - page 297 / 772
» Web-based Simulation Experiments
Sort
View
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 6 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
DATE
2004
IEEE
126views Hardware» more  DATE 2004»
15 years 6 months ago
Low Static-Power Frequent-Value Data Caches
: Static energy dissipation in cache memories will constitute an increasingly larger portion of total microprocessor energy dissipation due to nanoscale technology characteristics ...
Chuanjun Zhang, Jun Yang 0002, Frank Vahid
GECCO
2006
Springer
191views Optimization» more  GECCO 2006»
15 years 6 months ago
Automating the drug scheduling with different toxicity clearance in cancer chemotherapy via evolutionary computation
The toxicity of an anticancer drug is cleared from the body by different processes, including saturable metabolic and nonsaturable renal-excretion pathways. According to the princ...
Yong Liang, Kwong-Sak Leung, Tony Shu Kam Mok
MICCAI
2000
Springer
15 years 6 months ago
Computer-Based Assessment of Body Image Distortion in Anorexia Nervosa Patients
A computer-based method for the assessment of body image distortions in anorexia nervosa and other eating-disordered patients is presented. At the core of the method is a realistic...
Daniel Harari, Miriam Furst, Nahum Kiryati, Asaf C...
AAAI
2007
15 years 4 months ago
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks
Since Bayesian network (BN) was introduced in the field of artificial intelligence in 1980s, a number of inference algorithms have been developed for probabilistic reasoning. Ho...
Wei Sun, Kuo-Chu Chang