Sciweavers

1597 search results - page 59 / 320
» A Design Method for Object-Oriented Programming
Sort
View
GECCO
2005
Springer
146views Optimization» more  GECCO 2005»
15 years 3 months ago
Design of air pump system using bond graph and genetic programming method
Kisung Seo, Erik D. Goodman, Ronald C. Rosenberg
PLDI
2012
ACM
13 years 12 days ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...
FATES
2003
Springer
15 years 3 months ago
Black-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
Benjamin Tyler, Neelam Soundarajan
PLDI
2012
ACM
13 years 12 days ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
KDD
2004
ACM
213views Data Mining» more  KDD 2004»
15 years 3 months ago
Analytical view of business data
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
Adam Yeh, Jonathan Tang, Youxuan Jin, Sam Skrivan