Sciweavers

827 search results - page 143 / 166
» An Architecture for Efficient, Flexible Enterprise System In...
Sort
View
EUROPAR
2008
Springer
15 years 3 months ago
MPC: A Unified Parallel Runtime for Clusters of NUMA Machines
Over the last decade, Message Passing Interface (MPI) has become a very successful parallel programming environment for distributed memory architectures such as clusters. However, ...
Marc Pérache, Hervé Jourdren, Raymon...
ISCAS
2006
IEEE
214views Hardware» more  ISCAS 2006»
15 years 7 months ago
Multimode digital SMPS controller IC for low-power management
This paper introduces a novel low-power digital future, are expected to run at frequencies beyond 10 MHz. In controller for high frequency dc-dc switch-mode power supplies addition...
N. Rahman, A. Parayandeh, Kun Wang, A. Prodic
JAR
2006
103views more  JAR 2006»
15 years 1 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
CIDR
2009
167views Algorithms» more  CIDR 2009»
15 years 2 months ago
Unbundling Transaction Services in the Cloud
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
David B. Lomet, Alan Fekete, Gerhard Weikum, Micha...
CRIWG
2001
15 years 2 months ago
Yaka: Document Notification and Delivery Across Heterogeneous Document Repositories
Nowadays people have to deal with an increasing amount of information contained in electronic documents available from numerous heterogeneous, widely distributed sources. Keeping ...
Damián Arregui, François Pacull, Jut...