2496 search results - page 324 / 500 » Error-detecting properties of languages |
150
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
120
click to vote
DFT
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
125
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
164
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
126
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...