33356 search results - page 6468 / 6672 » Models of Continual Computation |
208
click to vote
AFRIGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
157
click to vote
HPCC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
189
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
160
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
167
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Recently, researchers have explored to provide a queue management scheme with differentiated loss guarantees for the future Internet. The Bounded Random Drop (BRD), known...