9370 search results - page 1576 / 1874 » An Abstract Notion of Application |
186
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
212
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
197
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
165
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
191
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...