Sciweavers

3973 search results - page 644 / 795
» Complex adaptation and system structure
Sort
View
SEBD
1996
94views Database» more  SEBD 1996»
15 years 7 months ago
Efficient Algorithm for determining the Optimal Execution Strategy for Path Queries in OODBS
Abstract. To select an optimal query evaluation strategy for a path query in an object-oriented database system one has to exploit the available index structures on the path. In a ...
Weimin Chen, Karl Aberer
GG
2008
Springer
15 years 7 months ago
Workshop on Graph Computation Models
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
Mohamed Mosbah, Annegret Habel
DSD
2010
IEEE
161views Hardware» more  DSD 2010»
15 years 6 months ago
Design of Trace-Based Split Array Caches for Embedded Applications
—Since many embedded systems execute a predefined set of programs, tuning system components to application programs and data is the approach chosen by many design techniques to o...
Alice M. Tokarnia, Marina Tachibana
ALIFE
2007
15 years 6 months ago
Life Cycle of a Minimal Protocell - A Dissipative Particle Dynamics Study
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...
Harold Fellermann, Steen Rasmussen, Hans-Joachim Z...
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 6 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning