Sciweavers

570 search results - page 77 / 114
» Constructing reconfigurable software for machine control sys...
Sort
View
CIC
2006
198views Communications» more  CIC 2006»
13 years 9 months ago
Communication Model to Support Rapid Application Development
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...
Yingbo Wang, Peter J. Clarke, Yi Deng
ISSTA
2004
ACM
14 years 1 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
LCPC
1995
Springer
13 years 11 months ago
Piecewise Execution of Nested Data-Parallel Programs
Abstract. The technique of flattening nested data parallelism combines all the independent operations in nested apply-to-all constructs and generates large amounts of potential pa...
Daniel W. Palmer, Jan Prins, Siddhartha Chatterjee...
ISSRE
2010
IEEE
13 years 6 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
LCPC
2005
Springer
14 years 1 months ago
Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
Arkady Epshteyn, María Jesús Garzar&...