Sciweavers

36320 search results - page 65 / 7264
» From Code to Models
Sort
View
DANCE
2002
IEEE
15 years 11 months ago
Active Network Vision and Reality: Lessons from a Capsule-Based System
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
David Wetherall
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 11 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
EUROMICRO
2000
IEEE
15 years 10 months ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...
LREC
2008
130views Education» more  LREC 2008»
15 years 7 months ago
Encoding Terms from a Scientific Domain in a Terminological Database: Methodology and Criteria
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
Rita Marinelli, Melissa Tiberi, Remo Bindi
GECCO
2000
Springer
112views Optimization» more  GECCO 2000»
15 years 9 months ago
Code Compaction Using Genetic Algorithms
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
Keith E. Mathias, Larry J. Eshelman, J. David Scha...