Sciweavers

4167 search results - page 543 / 834
» Evolutionary functional testing
Sort
View
RTSS
1996
IEEE
15 years 10 months ago
Visual assessment of a real-time system design: a case study on a CNC controller
In this paper we describe our experiments on a realtime system design, focusing on design alternatives such as scheduling jitter, sensor-to-output latency, intertask communication...
Namyun Kim, Minsoo Ryu, Seongsoo Hong, Manas Sakse...
PATMOS
2000
Springer
15 years 10 months ago
Early Power Estimation for System-on-Chip Designs
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
Marcello Lajolo, Luciano Lavagno, Matteo Sonza Reo...
SIGUCCS
2000
ACM
15 years 10 months ago
Windows 2000 Deployment Technical Challenges at the University of Colorado at Boulder
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
Brad Judy, Alfred Roberts, David Bodnar
WSC
2008
15 years 9 months ago
Data enhancement, smoothing, reconstruction and optimization by kriging interpolation
The performance of Kriging interpolation for enhancement, smoothing, reconstruction and optimization of a test data set is investigated. Specifically, the ordinary twodimensional ...
Hasan Gunes, Hakki Ergun Cekli, Ulrich Rist
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 8 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell