5639 search results - page 127 / 1128 » Timed Abstract Non-interference |
109
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. This paper describes a study concerning the impact of MMX technology in the field of automatic vehicle guidance. Due to the high speed a vehicle can reach, this applicati...
118
click to vote
ERSHOV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
132
click to vote
ARC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents a hardware architecture for UNIX password cracking using Hellman's time-memory trade-off; it is the first hardware design for a key search machin...
122
click to vote
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
128
Voted
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...