Sciweavers

406 search results - page 10 / 82
» Exploring Legacy Systems using Types
Sort
View
DATE
2002
IEEE
80views Hardware» more  DATE 2002»
14 years 17 days ago
Test Planning and Design Space Exploration in a Core-Based Environment
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...
WSCG
2001
114views more  WSCG 2001»
13 years 9 months ago
Interactive Data Exploration with Customized Glyphs
We present a visualization system allowing non-programmers to visualize, explore, and analyze unknown multivariate data by designing an appropriate glyph representation with minim...
Martin Kraus, Thomas Ertl
CORR
2008
Springer
94views Education» more  CORR 2008»
13 years 6 months ago
Semi-continuous Sized Types and Termination
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
Andreas Abel
SAMOS
2007
Springer
14 years 1 months ago
Design Space Exploration of Configuration Manager for Network Processing Applications
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
Christoforos Kachris, Stamatis Vassiliadis
GEOINFORMATICA
2007
148views more  GEOINFORMATICA 2007»
13 years 7 months ago
Assessing the Certainty of Locations Produced by an Address Geocoding System
Addresses are the most common georeferencing resource people use to communicate to others a location within a city. Urban GIS applications that receive data directly fromcitizens,...
Clodoveu A. Davis, Frederico T. Fonseca