Sciweavers

7303 search results - page 300 / 1461
» Optimality for dynamic patterns
Sort
View
158
Voted
LCPC
2007
Springer
15 years 10 months ago
Modeling Relations between Inputs and Dynamic Behavior for General Programs
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
Xipeng Shen, Feng Mao
158
Voted
IFIP
2004
Springer
15 years 10 months ago
Behavioural Equivalences for Dynamic Web Data
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
Sergio Maffeis, Philippa Gardner
ICSE
2008
IEEE-ACM
16 years 5 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
183
Voted
CN
2006
163views more  CN 2006»
15 years 4 months ago
A framework for mining evolving trends in Web data streams using dynamic learning and retrospective validation
The expanding and dynamic nature of the Web poses enormous challenges to most data mining techniques that try to extract patterns from Web data, such as Web usage and Web content....
Olfa Nasraoui, Carlos Rojas, Cesar Cardona
147
Voted
MCS
2007
Springer
15 years 4 months ago
The effect of contact interface on dynamic characteristics of composite structures
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
James Shih-Shyn Wu, Jyh-Cheng Chang, Jui-Pin Hung