Sciweavers

6819 search results - page 994 / 1364
» Process Reuse Architecture
Sort
View
ICCL
1992
IEEE
15 years 10 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
MICRO
1992
IEEE
128views Hardware» more  MICRO 1992»
15 years 10 months ago
MISC: a Multiple Instruction Stream Computer
This paper describes a single chip Multiple Instruction Stream Computer (MISC) capable of extracting instruction level parallelism from a broad spectrum of programs. The MISC arch...
Gary S. Tyson, Matthew K. Farrens, Andrew R. Plesz...
GECCO
2010
Springer
195views Optimization» more  GECCO 2010»
15 years 10 months ago
GPU-based island model for evolutionary algorithms
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
CCGRID
2007
IEEE
15 years 10 months ago
Mobility-Aware Efficient Job Scheduling in Mobile Grids
In this paper, we present a node mobility prediction framework based on a generic mobile grid architecture. We show how this framework can be used to formulate a cost effective job...
Preetam Ghosh, Nirmalya Roy, Sajal K. Das
COMPSAC
2009
IEEE
15 years 10 months ago
On a Classification Approach for SOA Vulnerabilities
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
Lutz Lowis, Rafael Accorsi