1837 search results - page 177 / 368 » Architecture = Abstractions over Software |
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
107
Voted
ROBOCUP
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Hardware/Software codesign of Elliptic Curve Cryptography has been extensively studied in recent years. However, most of these designs have focused on the computational a...
111
click to vote
CSSW
2007
15 years 2 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
112
click to vote
TAMODIA
2008
15 years 2 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...