Sciweavers

2314 search results - page 313 / 463
» Monoids over domains
Sort
View
90
Voted
ICCAD
1998
IEEE
76views Hardware» more  ICCAD 1998»
15 years 6 months ago
Functional debugging of systems-on-chip
Due to the exponential growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip...
Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra
140
Voted
PKDD
1999
Springer
272views Data Mining» more  PKDD 1999»
15 years 6 months ago
Handling Missing Data in Trees: Surrogate Splits or Statistical Imputation
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...
A. J. Feelders
140
Voted
RE
1999
Springer
15 years 6 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
125
Voted
INFOCOM
1998
IEEE
15 years 6 months ago
MSOCKS: An Architecture for Transport Layer Mobility
Mobile nodes of the future will be equiped with multiple network interfaces to take advantage of overlay networks, yet no current mobility systems provide full support for the sim...
David A. Maltz, Pravin Bhagwat
INFOVIS
1998
IEEE
15 years 6 months ago
Geographic Visualization: Designing Manipulable Maps for Exploring Temporally Varying Georeferenced Statistics
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
Alan M. MacEachren, Francis P. Boscoe, Daniel Haug...