Sciweavers

4299 search results - page 163 / 860
» Concurrent Test Generation
Sort
View
DICTA
2003
15 years 5 months ago
Testing for Curves in a Binary Image
Abstract. Curve detection is viewed as a process of hypothesis generation and hypothesis testing. Of the two, hypothesis generation has received much attention and many sophisticat...
Y. C. Cheng
124
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
CRYPTO
2001
Springer
97views Cryptology» more  CRYPTO 2001»
15 years 8 months ago
Two-Party Generation of DSA Signatures
d Abstract) Philip MacKenzie and Michael K. Reiter Bell Labs, Lucent Technologies, Murray Hill, NJ, USA We describe a means of sharing the DSA signature function, so that two parti...
Philip D. MacKenzie, Michael K. Reiter
120
Voted
JUCS
2000
120views more  JUCS 2000»
15 years 3 months ago
Compiler Generated Multithreading to Alleviate Memory Latency
: Since the era of vector and pipelined computing, the computational speed is limited by the memory access time. Faster caches and more cache levels are used to bridge the growing ...
Kristof Beyls, Erik H. D'Hollander
143
Voted
HAIS
2009
Springer
15 years 1 months ago
A Three-Objective Evolutionary Approach to Generate Mamdani Fuzzy Rule-Based Systems
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...
Michela Antonelli, Pietro Ducange, Beatrice Lazzer...