4609 search results - page 288 / 922 » Automatic Generation of Sigma-Protocols |
207
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
177
click to vote
EMSOFT
2007
Springer
16 years 24 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
172
click to vote
ERCIMDL
2007
Springer
16 years 24 days ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
150
Voted
ICCSA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
166
click to vote
IESS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...