3025 search results - page 252 / 605 » Automatic Programming of Robots Using Genetic Programming |
156
click to vote
TCAD
2008
15 years 3 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
125
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
101
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
133
click to vote
IOR
2006
15 years 3 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
154
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...