15253 search results - page 2423 / 3051 » Integer-Programming Software Systems |
204
Voted
ISORC
2009
IEEE
16 years 2 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
187
click to vote
TFM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
185
click to vote
WDAG
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
196
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
194
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we present an application build on top of electronic institutions in order to create a remote experimental platform for human and virtual agents. Our software object...