10159 search results - page 534 / 2032 » System Design Validation Using Formal Models |
166
click to vote
ICALT
2007
IEEE
16 years 20 days ago
2007
IEEE
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
163
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The current technologies have made it possible to execute parallel applications across heterogeneous platforms. However, the performance models available do not provide adequate m...
149
click to vote
DSD
2005
IEEE
15 years 12 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
206
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
174
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...