1919 search results - page 141 / 384 » Recent Extensions to Traviando |
151
click to vote
ARITH
2001
IEEE
15 years 8 months ago
2001
IEEE
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
133
Voted
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
139
click to vote
AFP
1995
Springer
15 years 7 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
131
click to vote
DLOG
2008
15 years 6 months ago
2008
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
143
click to vote
CNSR
2008
IEEE
15 years 6 months ago
2008
IEEE
The communication performance in wireless networks is often heavily influenced by failures caused by node mobility and radio disturbance. Proactive linkstate routing protocols lik...