557 search results - page 53 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 4 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
ICCHP
2010
Springer
2010
Springer
Automatic Live Monitoring of Communication Quality for Normal-Hearing and Hearing-Impaired Listeners
14 years 11 months ago
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
GPC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, the current SLAs offered by cloud providers do no...
100
click to vote
RSP
2003
IEEE
15 years 3 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
IWSAS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...