Sciweavers

367 search results - page 39 / 74
» tools 1997
Sort
View
RTAS
1997
IEEE
14 years 29 days ago
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
Monica Brockmeyer, Farnam Jahanian, Constance L. H...
SRDS
1997
IEEE
14 years 29 days ago
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal
ACMDIS
1997
ACM
14 years 28 days ago
Triangles: Design of a Physical/Digital Construction Kit
This paper presents the design of a new form of computer interface that uses physical objects to embody digital information, providing a means for interacting with data. Triangles...
Matthew G. Gorbet, Maggie Orth
COMPGEOM
1997
ACM
14 years 28 days ago
Time-Series Similarity Problems and Well-Separated Geometric Sets
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...
Béla Bollobás, Gautam Das, Dimitrios...
DAC
1997
ACM
14 years 28 days ago
ISDL: An Instruction Set Description Language for Retargetability
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
George Hadjiyiannis, Silvina Hanono, Srinivas Deva...