3663 search results - page 409 / 733 » Problems in the ontology of computer programs |
190
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
157
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
179
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
174
click to vote
CG
2010
Springer
15 years 4 months ago
2010
Springer
Monte-Carlo Tree Search is now a well established algorithm, in games and beyond. We analyze its scalability, and in particular its limitations, and the implications in terms of pa...
179
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...