Sciweavers

1713 search results - page 20 / 343
» Production programming in the classroom
Sort
View
MKWI
2008
123views Business» more  MKWI 2008»
14 years 11 months ago
Towards a Model for Specifying and Composing Concerns in Software Product Line Engineering
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
Volker Kuttruff
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 1 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
JISE
2006
85views more  JISE 2006»
14 years 9 months ago
A Programming Methodology for Designing Block Recursive Algorithms
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung, ...
ECCC
2010
111views more  ECCC 2010»
14 years 9 months ago
Pseudorandom Generators for Group Products
We prove that the pseudorandom generator introduced in [INW94] fools group products of a given finite group. The seed length is O(log n log 1 ), where n the length of the word and...
Michal Koucký, Prajakta Nimbhorkar, Pavel P...
RECSYS
2009
ACM
15 years 4 months ago
Ordering innovators and laggards for product categorization and recommendation
Different buyers exhibit different purchasing behaviors. Some rush to purchase new products while others tend to be more cautious, waiting for reviews from people they trust. In...
Sarah K. Tyler, Shenghuo Zhu, Yun Chi, Yi Zhang