1222 search results - page 92 / 245 » Verifying a File System Implementation |
108
click to vote
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
115
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
127
Voted
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
Scalability is a crucial factor in performance evaluation and analysis of parallel and distributed systems. Much effort has been devoted to scalability research and several metric...
112
Voted
AIEDU
2008
15 years 2 months ago
2008
Problem posing is identified as an important activity in mathematics education. In problem posing, it is important but difficult for learners to generate diverse problems. In this ...
112
Voted
USS
2008
15 years 4 months ago
2008
Making vital disk data recoverable even in the event of OS compromises has become a necessity, in view of the increased prevalence of OS vulnerability exploits over the recent yea...