Sciweavers

6014 search results - page 437 / 1203
» Structural Testing with Use Cases
Sort
View
CATS
2008
15 years 7 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
VLSID
2002
IEEE
116views VLSI» more  VLSID 2002»
16 years 6 months ago
A Design of Analog C-Matrix Circuits Used for Signal/Data Processing
Various calculation of matrices and vectors has been used in many digital signal processing systems. Although the calculation simply repeats multiplication and addition, the reite...
Takayuki Sugawara, Yoshikazu Miyanaga, Norinobu Yo...
MAICS
2003
15 years 7 months ago
Grounded Concept Development Using Introspective Atoms
In this paper we present a system that uses its underlying physiology, a hierarchical memory and a collection of memory management algorithms to learn concepts as cases and to bui...
Eric G. Berkowitz, Brian E. Mastenbrook
JCP
2008
144views more  JCP 2008»
15 years 6 months ago
Discourse Analysis of Public Debates Using Corpus Linguistic Methodologies
The aim of this study is to develop a computational method of discourse analysis based on corpus semantics. The objective is to achieve an accurate understanding of the debate cont...
Hayeong Jeong, Shun Shiramatsu, Kiyoshi Kobayashi,...
SCL
2008
86views more  SCL 2008»
15 years 6 months ago
Control design in the time and frequency domain using nonsmooth techniques
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
Vincent Bompart, Pierre Apkarian, Dominikus Noll