Sciweavers

2206 search results - page 199 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
CISIS
2010
IEEE
15 years 11 months ago
Shared Data Grid Programming Improvements Using Specialized Objects
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
Dacian Tudor, Georgiana Macariu, Wolfgang Schreine...
FSTTCS
2008
Springer
15 years 7 months ago
Analyzing Asynchronous Programs with Preemption
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Toui...
KBSE
2008
IEEE
16 years 27 days ago
Architecting for evolvability by means of traceability and features
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
Robert Brcina, Matthias Riebisch
CC
1994
Springer
15 years 10 months ago
Flow Grammars - a Flow Analysis Methodology
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
James S. Uhl, R. Nigel Horspool
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
Maximal Intersection Queries in Randomized Input Models
Consider a family of sets and a single set, called the query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Time constra...
Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits...