120 search results - page 13 / 24 » Random Variate Generation in One Line of Code |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
DFG
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
ECMDAFA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
SIGSOFT
1998
ACM
13 years 11 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
CORR
2008
Springer
2008
Springer
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
13 years 7 months ago
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...