Sciweavers

974 search results - page 109 / 195
» Hardware Synthesis from Term Rewriting Systems
Sort
View
ICDT
2010
ACM
205views Database» more  ICDT 2010»
15 years 11 months ago
On the Aggregation Problem for Synthesized Web Services
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu
SIGMETRICS
2010
ACM
201views Hardware» more  SIGMETRICS 2010»
15 years 11 months ago
Transparent, lightweight application execution replay on commodity multiprocessor operating systems
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
Oren Laadan, Nicolas Viennot, Jason Nieh
SBCCI
2006
ACM
139views VLSI» more  SBCCI 2006»
16 years 8 days ago
Infrastructure for dynamic reconfigurable systems: choices and trade-offs
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
Leandro Möller, Rafael Soares, Ewerson Carval...
CMG
2000
15 years 7 months ago
Configuring the Windows 2000 I/O Subsystem
The Windows 2000 operating system brought considerable changes to the capabilities and configuration options of the I/O subsystem over those available with the Windows NT operatin...
Odysseas I. Pentakalos
APIN
2002
121views more  APIN 2002»
15 years 6 months ago
Applying Learning by Examples for Digital Design Automation
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
Ben Choi