Sciweavers

1522 search results - page 73 / 305
» Practical Exception Specifications
Sort
View
VIS
2006
IEEE
100views Visualization» more  VIS 2006»
16 years 2 months ago
Visualizing Abstract Data Using Animation
ing Abstract Data Using Animation Amit P. Sawant Department of Computer Science, North Carolina State University Christopher G. Healey Department of Computer Science, North Carolin...
Amit Sawant, Christopher Healey
ICSE
2008
IEEE-ACM
16 years 2 months ago
Tool support for data validation by end-user programmers
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
POPL
2006
ACM
16 years 2 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...
RTSS
2007
IEEE
15 years 8 months ago
Robust Priority Assignment for Fixed Priority Real-Time Systems
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
Robert I. Davis, Alan Burns
ICCS
2007
Springer
15 years 7 months ago
Inaccuracies of Shape Averaging Method Using Dynamic Time Warping for Time Series Data
Shape averaging or signal averaging of time series data is one of the prevalent subroutines in data mining tasks, where Dynamic Time Warping distance measure (DTW) is known to work...
Vit Niennattrakul, Chotirat Ann Ratanamahatana