Sciweavers

3736 search results - page 455 / 748
» Generative Programming
Sort
View
SAC
2009
ACM
15 years 11 months ago
Using a product line for creating component systems
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that reļ¬...
Tomás Bures, Petr Hnetynka, Michal Malohlav...
JCIT
2010
127views more  JCIT 2010»
15 years 1 months ago
Review of PSE (Problem Solving Environment) Study
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
Shigeo Kawata
SIGMOD
2012
ACM
224views Database» more  SIGMOD 2012»
13 years 8 months ago
Tiresias: the database oracle for how-to queries
How-To queries answer fundamental data analysis questions of the form: ā€œHow should the input change in order to achieve the desired outputā€. As a Reverse Data Management probl...
Alexandra Meliou, Dan Suciu
IPCCC
1999
IEEE
15 years 10 months ago
Accurately modeling speculative instruction fetching in trace-driven simulation
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
R. Bhargava, L. K. John, F. Matus
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 1 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...