3507 search results - page 259 / 702 » Slicing for architectural analysis |
188
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
171
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
183
click to vote
DILS
2007
Springer
15 years 10 months ago
2007
Springer
Information about small genetic variations in organisms, known as single nucleotide polymorphism (SNPs), is crucial to identify candidate genes that have a role in disease suscepti...
217
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
161
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...