Sciweavers

1582 search results - page 32 / 317
» Mathematical Tools for Physics
Sort
View
APLAS
2005
ACM
14 years 2 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
EUROGP
2004
Springer
14 years 2 months ago
Constrained Molecular Dynamics as a Search and Optimization Tool
Abstract. In this paper we consider a new class of search and optimization algorithms inspired by molecular dynamics simulations in physics.
Riccardo Poli, Christopher R. Stephens
ICEIS
2003
IEEE
14 years 1 months ago
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
B. Nick Rossiter, David A. Nelson, Michael A. Heat...
WER
2010
Springer
13 years 6 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
EDBT
2006
ACM
124views Database» more  EDBT 2006»
14 years 8 months ago
Physical Design Refinement: The "Merge-Reduce" Approach
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...
Nicolas Bruno, Surajit Chaudhuri