Sciweavers

8179 search results - page 348 / 1636
» The PRACTIONIST Development Tool
Sort
View
163
Voted
ASWEC
2001
IEEE
15 years 10 months ago
Visualisation of Refinements
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
Neil J. Robinson, Colin J. Fidge
SIGMOD
2007
ACM
102views Database» more  SIGMOD 2007»
16 years 6 months ago
Finding shapes in a set of points
We present a tool for querying a set of points for geometric shapes. This tool was developed as part of a larger project studying the architecture of 13th century French churches....
Kenneth A. Ross, David Vespe, David Hessing, Prana...
FPL
2001
Springer
115views Hardware» more  FPL 2001»
15 years 11 months ago
Placing, Routing, and Editing Virtual FPGAs
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
Loïc Lagadec, Dominique Lavenier, Erwan Fabia...
ISSS
1995
IEEE
83views Hardware» more  ISSS 1995»
15 years 10 months ago
Profiling in the ASP codesign environment
Automation of the Hardware/Software Codesign methodology brings with it the need to develop sophisticated high-level profiling tools. This paper presents a profiling tool which us...
Matthew F. Parkinson, Sri Parameswaran
DAGSTUHL
2003
15 years 8 months ago
A data model for adaptive multi-resolution scientific data
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr