Sciweavers

2203 search results - page 348 / 441
» Knowledge Integration
Sort
View
127
Voted
ICCAD
1999
IEEE
109views Hardware» more  ICCAD 1999»
15 years 7 months ago
Body-voltage estimation in digital PD-SOI circuits and its application to static timing analysis
Partially depleted silicon-on-insulator (PD-SOI) has emerged as a technology of choice for high-performance low-power deep-submicrometer digital integrated circuits. An important c...
Kenneth L. Shepard, Dae-Jin Kim
131
Voted
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
15 years 7 months ago
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
Margaret M. Burnett, Andrei Sheretov, Gregg Rother...
143
Voted
TPHOL
1998
IEEE
15 years 7 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
112
Voted
ARITH
1997
IEEE
15 years 7 months ago
On the Design of IEEE Compliant Floating Point Units
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
Guy Even, Wolfgang J. Paul
122
Voted
KDD
1998
ACM
164views Data Mining» more  KDD 1998»
15 years 7 months ago
A Data Mining Support Environment and its Application on Insurance Data
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
Martin Staudt, Jörg-Uwe Kietz, Ulrich Reimer