Sciweavers

4451 search results - page 587 / 891
» Continuous model synthesis
Sort
View
LCTRTS
2004
Springer
16 years 3 days ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
16 years 14 hour ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
SIGMETRICS
2003
ACM
115views Hardware» more  SIGMETRICS 2003»
15 years 12 months ago
Dynamic resource allocation for shared data centers using online measurements
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
Abhishek Chandra, Weibo Gong, Prashant J. Shenoy
ICMCS
1999
IEEE
117views Multimedia» more  ICMCS 1999»
15 years 11 months ago
Scheduling of Adaptive Multimedia Documents
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...
Stefan Wirag
GW
1999
Springer
134views Biometrics» more  GW 1999»
15 years 11 months ago
Toward Scalability in ASL Recognition: Breaking Down Signs into Phonemes
In this paper we present a novel approach to continuous, whole-sentence ASL recognition that uses phonemes instead of whole signs as the basic units. Our approach is based on a se...
Christian Vogler, Dimitris N. Metaxas