Sciweavers

843 search results - page 29 / 169
» Introducing the Iteration in sPBC
Sort
View
173
Voted
FAC
2000
124views more  FAC 2000»
15 years 5 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
ECEASST
2010
15 years 26 days ago
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code gen...
Marina Egea, Carolina Dania, Manuel Clavel
ICASSP
2011
IEEE
14 years 9 months ago
Tone detection of non-uniformly undersampled signals with frequency excision
We address the problem of detecting and locating narrowband tones in an undersampled signal. It is known that uniformly undersampled signals exhibit frequency aliasing, whereby th...
André Bourdoux, Sofie Pollin, Antoine Dejon...
BMCBI
2005
98views more  BMCBI 2005»
15 years 5 months ago
Iterative approach to model identification of biological networks
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
Kapil G. Gadkar, Rudiyanto Gunawan, Francis J. Doy...
JPDC
2008
138views more  JPDC 2008»
15 years 6 months ago
Efficient parallel implementation of iterative reconstruction algorithms for electron tomography
Electron tomography (ET) combines electron microscopy and the principles of tomographic imaging in order to reconstruct the threedimensional structure of complex biological specim...
José-Jesús Fernández, Dan Gor...