Sciweavers

1238 search results - page 86 / 248
» Software Mass Customization
Sort
View
129
Voted
CODES
1999
IEEE
15 years 7 months ago
An ASIP design methodology for embedded systems
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...
Kayhan Küçükçakar
114
Voted
WACC
1999
ACM
15 years 7 months ago
Temporal workflow management in a claim handling system
Temporal workflow management is important for processes that are time-driven. Claim handling, which requires the documentation, diagnosis, and resolution of customer claims due to...
J. Leon Zhao, Edward A. Stohr
108
Voted
CODES
2001
IEEE
15 years 6 months ago
Towards effective embedded processors in codesigns: customizable partitioned caches
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...
Peter Petrov, Alex Orailoglu
COMPSEC
2010
142views more  COMPSEC 2010»
14 years 11 months ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
102
Voted
IUI
2006
ACM
15 years 8 months ago
Creating multiplatform user interfaces by annotation and adaptation
This paper presents our novel framework, which creates user interfaces (UIs) for a variety of devices by annotating and reusing an existing one originally designed for large devic...
Yun Ding, Heiner Litz