Sciweavers

1617 search results - page 161 / 324
» Modeling and evaluation of hardware software designs
Sort
View
PLDI
2010
ACM
15 years 9 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
PRIMA
2007
Springer
16 years 18 days ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos
VL
2006
IEEE
170views Visual Languages» more  VL 2006»
16 years 15 days ago
A Lightweight Model for End Users' Domain-Specific Data
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
Christopher Scaffidi
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
16 years 1 days ago
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
Sven Burmester, Holger Giese, Wilhelm Schäfer
ICSE
2003
IEEE-ACM
16 years 6 months ago
The Vienna Component Framework Enabling Composition Across Component Models
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
Johann Oberleitner, Thomas Gschwind, Mehdi Jazayer...