227 search results - page 20 / 46 » Formal verification of systems with an unlimited number of c... |
INFORMATICALT
2002
13 years 8 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
DSN
2004
IEEE
14 years 4 days ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
EDOC
2004
IEEE
14 years 4 days ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
FTDCS
2004
IEEE
14 years 4 days ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
DAC
1999
ACM
14 years 22 days 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...