Sciweavers

2067 search results - page 285 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
JNW
2008
98views more  JNW 2008»
14 years 9 months ago
Analysing a Multi-hop UMTS over Multiple Frequency Schemes and an Urban Environment
In this paper we analyse the performance of a relay based UMTS system in an urban environment using multiple hops on multiple frequency bands. Measurement based path loss, fading a...
Konstantinos Konstantinou, Muhammad Ali Imran, Cos...
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
AMDO
2004
Springer
15 years 3 months ago
Variant Design in Immersive Virtual Reality: A Markup Language for Scalable CSG Parts
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
Peter Biermann, Bernhard Jung
GECCO
2008
Springer
261views Optimization» more  GECCO 2008»
14 years 11 months ago
SSNNS -: a suite of tools to explore spiking neural networks
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
Heike Sichtig, J. David Schaffer, Craig B. Laramee
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...