Sciweavers

6751 search results - page 1195 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
CGO
2009
IEEE
16 years 1 months ago
Reducing Memory Ordering Overheads in Software Transactional Memory
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
Michael F. Spear, Maged M. Michael, Michael L. Sco...
CODES
2009
IEEE
16 years 1 months ago
On compile-time evaluation of process partitioning transformations for Kahn process networks
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
Sjoerd Meijer, Hristo Nikolov, Todor Stefanov
ASWSD
2004
Springer
15 years 11 months ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
ISIPTA
2003
IEEE
120views Mathematics» more  ISIPTA 2003»
15 years 11 months ago
Reliability Analysis in Geotechnics with Finite Elements --- Comparison of Probabilistic, Stochastic and Fuzzy Set Methods
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...
Gerd M. Peschl, H. F. Schweiger
IWPC
2003
IEEE
15 years 11 months ago
Design Recovery of a Two Level System
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
Thomas R. Dean, Yuling Chen
« Prev « First page 1195 / 1351 Last » Next »