Sciweavers

2880 search results - page 7 / 576
» Types are calling conventions
Sort
View
ISSRE
2006
IEEE
15 years 3 months ago
Call Stack Coverage for GUI Test-Suite Reduction
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
Scott McMaster, Atif M. Memon
BCSHCI
2007
14 years 11 months ago
Calling time: an effective and affective evaluation of two versions of the MIT Beer Game
Playing a business game needs to be both educational and entertaining. Thus, evaluation of the experience of playing games needs to incorporate both effective and affective dimens...
Nicola Millard, Rosalind Britton
VTC
2008
IEEE
150views Communications» more  VTC 2008»
15 years 4 months ago
Impact of Signaling Load on the UMTS Call Blocking/Dropping
— Radio resources in the third generation (3G) wireless cellular networks (WCNs) such as the universal mobile telecommunications system (UMTS) network is limited in term of soft ...
Saowaphak Sasanus, David Tipper, Yi Qian
ICFP
1999
ACM
15 years 2 months ago
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
Atsushi Ohori, Nobuaki Yoshida
PLDI
1996
ACM
15 years 1 months ago
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
Mark W. Bailey, Jack W. Davidson