Sciweavers

2774 search results - page 313 / 555
» Query-Driven Program Testing
Sort
View
106
Voted
IFIP
2010
Springer
15 years 4 months ago
The Network Data Handling War: MySQL vs. NfDump
Abstract. Network monitoring plays a crucial role in any network management environment. Especially nowadays, with network speed and load constantly increasing, more and more data ...
Rick Hofstede, Anna Sperotto, Tiago Fioreze, Aiko ...
132
Voted
FMOODS
2007
15 years 3 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
AAAI
2006
15 years 3 months ago
Introductory Computer Science with Robots
Starting in the fall of 2005 our department began a large-scale effort to incorporate hands-on robotics in many of our courses, including our introductory computer science sequenc...
Debra T. Burhans, R. Mark Meyer, Patricia VanVerth...
WSC
2004
15 years 3 months ago
Validation of the Enlisted Grade Model Gradebreaks
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
Andrew O. Hall
WIESS
2000
15 years 3 months ago
HP Caliper: An Architecture for Performance Analysis Tools
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
Robert Hundt