2588 search results - page 117 / 518 » Engineering Systems Which Generate Emergent Functionalities |
138
Voted
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
139
Voted
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
127
Voted
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose a secure platform on a chip multiprocessor, known as FIDES, in order to enable next generation mobile terminals to execute downloaded native applications for Linux. Its...
113
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
115
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
Many analytical or computational applications, especially legacy systems, create documents and display screens in response to user queries “dynamically” or in “real time”....