Sciweavers

2409 search results - page 260 / 482
» Building Components from Functions
Sort
View
ARVLSI
1999
IEEE
96views VLSI» more  ARVLSI 1999»
15 years 10 months ago
MEMS-Based Capacitor Arrays for Programmable Interconnect and RF Applications
We describe a programmable capacitor technology under development at NCSU and its potential application in building programmable interconnect devices useful for system level conne...
B. E. Duewer, J. M. Wilson, D. A. Winick, Paul D. ...
AGP
1997
IEEE
15 years 10 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
FUZZIEEE
2007
IEEE
15 years 10 months ago
The Parametric Modification of Fuzzy Sets Constituting a Content of Medical Linguistic Variables
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
Elisabeth Rakus-Andersson
ACMSE
2004
ACM
15 years 10 months ago
Methods for the prevention, detection and removal of software security vulnerabilities
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
Jay-Evan J. Tevis, John A. Hamilton Jr.
AMAST
2008
Springer
15 years 8 months ago
A Declarative Debugger for Maude
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
Adrián Riesco, Alberto Verdejo, Narciso Mar...