15416 search results - page 363 / 3084 » Embeddings of Computable Structures |
169
Voted
AUSAI
1998
Springer
15 years 11 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
228
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...
226
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
252
Voted
CSREAESA
2006
15 years 9 months ago
2006
- In recent years, there has been a rapid and wide spread proliferation of non-traditional embedded computing platforms such as digital camcorders, cellular phones, and portable me...
196
click to vote
TSE
2002
15 years 7 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...