Sciweavers

3199 search results - page 318 / 640
» Variability in Automation System Models
Sort
View
HPCN
1995
Springer
15 years 10 months ago
A model-driven tool for performance measurement and analysis of parallel programs
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
Xiandeng Huang, Christoph Steigner
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 6 months ago
Building Computer Network Attacks
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
Ariel Futoransky, Luciano Notarfrancesco, Gerardo ...
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
16 years 7 days ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
DLOG
1996
15 years 8 months ago
Using Description Logics for Consistency-based Diagnosis
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
Gerd Kamp, Holger Wache
CSL
2007
Springer
15 years 6 months ago
Stochastic and syntactic techniques for predicting phrase breaks
Determining the position of breaks in a sentence is a key task for a text-to-speech (TTS) system. We describe some methods for phrase break prediction in which the whole sentence ...
Ian Read, Stephen Cox