Sciweavers

5900 search results - page 25 / 1180
» Dependable Systems
Sort
View
SMI
2005
IEEE
100views Image Analysis» more  SMI 2005»
14 years 1 months ago
Robust Particle Systems for Curvature Dependent Sampling of Implicit Surfaces
Recent research on point-based surface representations suggests that point sets may be a viable alternative to parametric surface representations in applications where the topolog...
Miriah D. Meyer, Pierre Georgel, Ross T. Whitaker
RTAS
2006
IEEE
14 years 1 months ago
Reliability-Aware Dynamic Energy Management in Dependable Embedded Real-Time Systems
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...
Dakai Zhu
IPPS
1998
IEEE
13 years 11 months ago
A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
Binoy Ravindran, Lonnie R. Welch, Carl Bruggeman, ...
KES
2007
Springer
13 years 7 months ago
A Content Dependent Visualization System for Symbolic Representation of Piano Stream
This paper provides an overview on the advances of music information retrieval in symbolic representation of music. Such musical aspects as key, tonality, bass, melody, dynamics, r...
Alexander Adli, Zensho Nakao, Yasunori Nagata
FROCOS
2011
Springer
12 years 7 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop