Sciweavers

20197 search results - page 322 / 4040
» Comparing Computational Power
Sort
View
ISORC
1999
IEEE
15 years 11 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
DAC
1997
ACM
15 years 11 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram
COCO
1994
Springer
89views Algorithms» more  COCO 1994»
15 years 10 months ago
Relationships Among PL, #L, and the Determinant
Recent results by Toda, Vinay, Damm, and Valiant have shown that the complexity of the determinant is characterized by the complexity of counting the number of accepting computati...
Eric Allender, Mitsunori Ogihara
HAPTICS
2007
IEEE
15 years 10 months ago
Assessing the Efficacy of Variable Compliance Tactile Displays
Tactile displays based on pin arrays are challenging to design because they require a large number of individually controllable pins, or "tactors". A semiactive approach...
Michael A. Taylor, Aaron R. Ferber, J. Edward Colg...
3DPVT
2004
IEEE
125views Visualization» more  3DPVT 2004»
15 years 10 months ago
GPU-Assisted Z-Field Simplification
Height fields and depth maps which we collectively refer to as z-fields, usually carry a lot of redundant information and are often used in real-time applications. This is the rea...
Alexander Bogomjakov, Craig Gotsman