Sciweavers

4890 search results - page 480 / 978
» From system specifications to component behavioral models
Sort
View
IPCCC
2007
IEEE
16 years 1 months ago
Application Insight Through Performance Modeling
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
Gabriel Marin, John M. Mellor-Crummey
CORR
2011
Springer
182views Education» more  CORR 2011»
15 years 2 months ago
Cyber-Physical Attacks in Power Networks: Models, Fundamental Limitations and Monitor Design
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
Fabio Pasqualetti, Florian Dörfler, Francesco...
CLUSTER
2008
IEEE
16 years 1 months ago
Are nonblocking networks really needed for high-end-computing workloads?
—High-speed interconnects are frequently used to provide scalable communication on increasingly large high-end computing systems. Often, these networks are nonblocking, where the...
Narayan Desai, Pavan Balaji, P. Sadayappan, Mohamm...
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 10 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
GPCE
2004
Springer
16 years 17 days ago
VS-Gen: A Case Study of a Product Line for Versioning Systems
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
Jernej Kovse, Christian Gebauer