2138 search results - page 376 / 428 » Logical Step-Indexed Logical Relations |
129
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
134
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...
134
click to vote
IRI
2003
IEEE
15 years 9 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
133
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
159
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...