Result 1 to 20 of 47 total
The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science. (English)
Theory Comput. Syst. 50, No. 2, 387-399 (2012).
1
The complexity space of partial functions: a connection between complexity analysis and denotational semantics. (English)
Int. J. Comput. Math. 88, No. 9, 1819-1829 (2011).
2
Complexity spaces as quantitative domains of computation. (English)
Topology Appl. 158, No. 7, 853-860 (2011).
3
Design of a low power, sub-threshold, asynchronous arithmetic logic unit using a bidirectional adder (English)
DSD, 301-308 (2011).
4
Static average case analysis fork-join framework programs based on MOQA method (English)
PARELEC, 1-6 (2011).
5
$\cal{MOQA}$; unlocking the potential of compositional static average-case analysis. (English)
J. Log. Algebr. Program. 79, No. 1, 61-83 (2010).
6
Static average case power estimation technique for block ciphers (English)
DSD, 689-696 (2010).
7
Reversible online BIST using bidirectional BILBO (English)
Conf. Computing Frontiers, 257-266 (2010).
8
Design and analysis of a novel 8T SRAM cell for adiabatic and non-adiabatic operations (English)
ICECS, 434-437 (2010).
9
Delay dependent power optimisation of combinational circuits using AND-inverter graphs (English)
SoCC, 9-14 (2010).
10
An extension of the dual complexity space and an application to computer science. (English)
Topology Appl. 156, No. 18, 3052-3061 (2009).
11
A random bag preserving product operation. (English)
Electron. Notes Theor. Comput. Sci. 225, 341-360 (2009).
12
Preface. (English)
Electron. Notes Theor. Comput. Sci. 225, 1-2 (2009).
13
Sorting algorithms in MOQA. (English)
Electron. Notes Theor. Comput. Sci. 225, 391-404 (2009).
14
A low-power pairing-based cryptographic accelerator for embedded security applications (English)
SoCC, 369-372 (2009).
15
A tool for average and worst-case execution time analysis. (English)
Kimer, Raimund (ed.), 8th international workshop on worst-case execution time analysis (WCET’08). Papers based on the presentations at the workshop, July 1, 2008, Prague, Czech Republic. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-10-1). OASIcs ‒ OpenAccess Series in Informatics 8, 1, electronic only (2008).
16
Interoperability of performance and functional analysis for electronic system designs in behavioural hybrid process calculus (BHPC). (English)
Castillo, Oscar (ed.) et al., Trends in intelligent systems and computer engineering (IMECS 2007). Selected papers based on the presentations at the international conference, Hong Kong, China, March 21‒23, 2007. New York, NY: Springer (ISBN 978-0-387-74934-1/hbk). Lecture Notes in Electrical Engineering 6, 375-394 (2008).
17
Applications of the complexity space to the general probabilistic divide and conquer algorithms. (English)
J. Math. Anal. Appl. 348, No. 1, 346-355 (2008).
18
A modular calculus for the average cost of data structuring (English)
A modular calculus for the average cost of data structuring, I-XXIV, 1-246 (2008).
19
A tool for average and worst-case execution time analysis (English)
WCET (2008).
20
Result 1 to 20 of 47 total
Start
Contact
Print
General Help
