Sciweavers

2588 search results - page 72 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
ISVLSI
2007
IEEE
181views VLSI» more  ISVLSI 2007»
15 years 10 months ago
Code-coverage Based Test Vector Generation for SystemC Designs
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
Alair Dias Jr., Diógenes Cecilio da Silva J...
ICIS
2000
15 years 5 months ago
Personalization of search engine services for effective retrieval and knowledge management
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
Weiguo Fan, Michael D. Gordon, Praveen Pathak
CODES
2000
IEEE
15 years 8 months ago
Heterogeneous modeling and simulation of embedded systems in El Greco
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
Joseph Buck, Radha Vaidyanathan
ICFP
2007
ACM
15 years 7 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
139
Voted
IJBRA
2007
114views more  IJBRA 2007»
15 years 3 months ago
Enhanced semantic access to the protein engineering literature using ontologies populated by text mining
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
René Witte, Thomas Kappler, Christopher J. ...