1415 search results - page 124 / 283 » Verified systems by composition from verified components |
147
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
152
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
143
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper briefly describes the picoArrayTM architecture, and in particular the deterministic internal communication fabric. The methods that have been developed for debugging a...
179
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
176
click to vote
STOC
1994
ACM
15 years 10 months ago
1994
ACM
We indicate strong non-approximability factors for central problems: N1/4 for Max Clique; N1/10 for Chromatic Number; and 66/65 for Max 3SAT. Underlying the Max Clique result is a...