2934 search results - page 341 / 587 » Universality in Multi-Agent Systems |
170
click to vote
CSL
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
172
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...
142
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
146
click to vote
MSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Intellectual property (IP) reuse based system design is becoming an industry standard recently. However, current educational system is not effective in the training of engineers ...
165
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...