Sciweavers

10802 search results - page 246 / 2161
» Generative and developmental systems
Sort
View
143
Voted
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 10 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,...
130
Voted
PARA
2004
Springer
15 years 10 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 10 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 10 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
120
Voted
IWSOC
2003
IEEE
99views Hardware» more  IWSOC 2003»
15 years 10 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...