1890 search results - page 357 / 378 » Model-Based Testing in Practice |
134
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
125
click to vote
CPM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Speeding up approximate pattern matching is a line of research in stringology since the 80’s. Practically fast approaches belong to the class of filtration algorithms,...
101
click to vote
ASAP
2007
IEEE
15 years 3 months ago
2007
IEEE
In high-level synthesis, as for compilers, an important question is when register assignment should take place. Unlike compilers for which the processor architecture is given, syn...
142
click to vote
CRYPTO
2008
Springer
15 years 3 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We review the use of diagrams in the UK National School Curriculum (NC) and assess it in the light of current research on childrens' graph comprehension. It is noted...