Sciweavers

1262 search results - page 141 / 253
» Techniques for obtaining high performance in Java programs
Sort
View
ICMCS
2000
IEEE
80views Multimedia» more  ICMCS 2000»
14 years 1 months ago
Perceptually Transparent Attachment of Content-Based Data to Audio-Visual Documents
We present a new method for attaching data to digital audio-visual (AV) documents. Our method is steganographic, i.e., a secondary data stream is integrated or embedded into a giv...
Frank Kurth
ISLPED
1995
ACM
70views Hardware» more  ISLPED 1995»
14 years 13 days ago
Transformation and synthesis of FSMs for low-power gated-clock implementation
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
Luca Benini, Giovanni De Micheli
TCAD
1998
110views more  TCAD 1998»
13 years 8 months ago
Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
ILP
2000
Springer
14 years 14 days ago
Learning First Order Logic Time Series Classifiers
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
Juan José Rodríguez, Carlos J. Alons...
ENTCS
2006
176views more  ENTCS 2006»
13 years 9 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...