Sciweavers

6197 search results - page 1095 / 1240
» Sandbridge Software Tools
Sort
View
LCPC
2007
Springer
15 years 11 months ago
Using ZBDDs in Points-to Analysis
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
Ondrej Lhoták, Stephen Curial, José ...
RE
2007
Springer
15 years 11 months ago
Goal-Oriented Conceptual Database Design
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...
SEKE
2007
Springer
15 years 11 months ago
Improving Separation of Concerns in the Development of Scientific Applications
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
Seyed Masoud Sadjadi, J. Martínez, T. Soldo...
SERA
2007
Springer
15 years 11 months ago
Runtime Support for Advanced Component Concepts
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
Tomás Bures, Petr Hnetynka, Frantisek Plasi...
SIGADA
2007
Springer
15 years 11 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec
« Prev « First page 1095 / 1240 Last » Next »