Sciweavers

10802 search results - page 246 / 2161
» Generative and developmental systems
Sort
View
110
Voted
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 6 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
92
Voted
PARA
2004
Springer
15 years 6 months ago
Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries
There is an immediate need to develop Grid interfaces for a large set of numerical software libraries, in order to make popular software of today available in the computing infrast...
Erik Elmroth, Rikard Skelander
UML
2004
Springer
15 years 6 months ago
A Metamodel for Generating Performance Models from UML Designs
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
Dorin Bogdan Petriu, C. Murray Woodside
COMPSAC
2003
IEEE
15 years 6 months ago
A Supervised Visual Wrapper Generator for Web-Data Extraction
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
Xiaofeng Meng, Haiyan Wang, Dongdong Hu, Chen Li
81
Voted
IWSOC
2003
IEEE
99views Hardware» more  IWSOC 2003»
15 years 6 months ago
Template Generation and Selection Algorithms
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...
Yuanqing Guo, Gerard J. M. Smit, Hajo Broersma, Pa...