7766 search results - page 287 / 1554 » Testing Nondeterminate Systems |
188
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...
150
click to vote
LFP
1990
15 years 7 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
191
click to vote
FAST
2010
15 years 9 months ago
2010
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...
195
click to vote
EH
1999
IEEE
15 years 11 months ago
1999
IEEE
A system for exploring intrinsic evolution of linear and non-linear filter systems is described. It consists of a testbed topology of operational amplifiers and linear or non-line...
171
click to vote
JCP
2007
15 years 6 months ago
2007
—This paper proposes the energy function of a power system with a Static Synchronous Series Compensator (SSSC). They make it possible for the direct method to acquire the transie...