271 search results - page 20 / 55 » Observational Completeness on Abstract Interpretation |
DIS
2005
Springer
14 years 8 days ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
IMECS
2007
13 years 8 months ago
2007
Abstract—Adaptive middleware and wireless networks are hot topics in many discussions today. Literature describes a lot of approaches which are based upon existing middleware tec...
ICCD
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
CEC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— This paper introduces the optimization of a Quantum Control application, the so-called molecular alignment problem, subject to a dynamic environment. Given the relative...
ASM
2005
ASM
14 years 8 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...