Sciweavers

3736 search results - page 338 / 748
» Hand-Writing Program Generator Generators
Sort
View
ICTAI
2000
IEEE
15 years 11 months ago
Constrained genetic algorithms and their applications in nonlinear constrained optimization
This paper presents a problem-independent framework that uni es various mechanisms for solving discrete constrained nonlinear programming (NLP) problems whose functions are not ne...
Benjamin W. Wah, Yixin Chen
RTCSA
2000
IEEE
15 years 11 months ago
Extracting safe and precise control flow from binaries
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
Henrik Theiling
TOOLS
2000
IEEE
15 years 11 months ago
Spatiotemporal Data Modeling and Management: A Survey
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
Xiaoyu Wang, Xiaofang Zhou, Sanglu Lu
CARDIS
2000
Springer
173views Hardware» more  CARDIS 2000»
15 years 11 months ago
Smart Tools for Java Cards
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
Isabelle Attali, Denis Caromel, Carine Courbis, Lu...
DAGSTUHL
2006
15 years 8 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven