Sciweavers

2271 search results - page 339 / 455
» Scalable Software Libraries
Sort
View
125
Voted
SFP
2003
15 years 4 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer
110
Voted
USENIX
1996
15 years 4 months ago
A Performance Comparison of UNIX Operating Systems on the Pentium
This paper evaluates the performance of three popular versions of the UNIX operating system on the x86 architecture: Linux, FreeBSD, and Solaris. We evaluate the systems using fre...
Kevin Lai, Mary Baker
DLS
2008
264views Languages» more  DLS 2008»
15 years 4 months ago
Contextual values
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...
Éric Tanter
174
Voted
JTRES
2010
ACM
15 years 3 months ago
Developing safety critical Java applications with oSCJ/L0
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang...
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 3 months ago
Efficient Dealiased Convolutions without Padding
Algorithms are developed for calculating dealiased linear convolution sums without the expense of conventional zero-padding or phase-shift techniques. For one-dimensional in-place ...
John C. Bowman, Malcolm Roberts