65 search results - page 12 / 13 » STAS: A Scalability Testing and Analysis System |
LCN
2008
IEEE
13 years 11 months ago
2008
IEEE
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...
FMCAD
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
AROBOTS
2004
13 years 5 months ago
2004
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
TAOSD
2010
13 years 3 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
CVPR
2009
IEEE
15 years 15 days ago
2009
IEEE
In an 2D echocardiogram exam, an ultrasound probe
samples the heart with 2D slices. Changing the orientation
and position on the probe changes the slice viewpoint, altering
the ...