7103 search results - page 157 / 1421 » Components and Generative Programming |
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of recon...
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
ICASSP
2011
IEEE
13 years 26 days ago
2011
IEEE
In a motorized vehicle a number of easily measurable signals with frequency components related to the rotational speed of the engine can be found, e.g., vibrations, electrical sys...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...