Sciweavers

5384 search results - page 165 / 1077
» Open Standards Requirements
Sort
View
ENTCS
2011
77views more  ENTCS 2011»
15 years 1 months ago
Quantum Circuits: From a Network to a One-Way Model
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
Larisse Voufo
SIGSOFT
2010
ACM
15 years 1 months ago
RT-simex: retro-analysis of execution traces
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
Julien DeAntoni, Frédéric Mallet, Fr...
APLAS
2003
ACM
15 years 12 months ago
Scrap Your Boilerplate
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
Simon L. Peyton Jones, Ralf Lämmel
KBS
2007
85views more  KBS 2007»
15 years 6 months ago
DR-BROKERING: A semantic brokering system
In this paper we study the brokering and matchmaking problem, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a bro...
Grigoris Antoniou, Thomas Skylogiannis, Antonis Bi...
ICMENS
2003
IEEE
127views Hardware» more  ICMENS 2003»
15 years 12 months ago
Design and Fabrication of Microchannels for Magnetohydrodynamic Flow
This paper introduces a new microchannel design for magnetohydrodynamic (MHD) flow that maximizes MHD pumping power. An electromagnetic channel (EMC), which has a rectangular cros...
Jian-Bin Bao, D. Jed Harrison