1156 search results - page 183 / 232 » The PENG System: Practice and Experience |
164
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
164
click to vote
CARDIS
2006
Springer
15 years 9 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
179
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
168
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...
142
click to vote
SMILE
2000
Springer
15 years 9 months ago
2000
Springer
A frame decimation scheme is proposed that makes automatic extraction of Structure and Motion (SaM) from handheld sequences more practical. Decimation of the number of frames used...