568 search results - page 44 / 114 » The Great Language Debate |
ER
2004
Springer
15 years 5 months ago
2004
Springer
Searching for similar objects (in terms of near and nearest neighbors) of a given query object from a large set is an essential task in many applications. Recent years have seen g...
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
ADAEUROPE
2003
Springer
15 years 5 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
ESSOS
2010
Springer
15 years 5 months ago
2010
Springer
Web browsers that support a safe language such as Javascript are becoming a platform of great interest for security attacks. One such attack is a heap-spraying attack: a new kind o...
100
click to vote
FPL
2009
Springer
15 years 4 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...