3820 search results - page 499 / 764 » Bounded Model Debugging |
121
click to vote
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Within the security architecture of the 3GPP system there is a standardised encryption mode f8 based on the block cipher KASUMI. In this work we examine the pseudorandomness of the...
142
Voted
STACS
2001
Springer
15 years 7 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
136
click to vote
FCCM
2000
IEEE
15 years 7 months ago
2000
IEEE
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
128
Voted
IWPC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
149
click to vote
COLT
1999
Springer
15 years 7 months ago
1999
Springer
We propose a new boosting algorithm. This boosting algorithm is an adaptive version of the boost by majority algorithm and combines bounded goals of the boost by majority algorith...