Sciweavers

12333 search results - page 338 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
COMPSAC
1997
IEEE
15 years 11 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
ASE
1998
152views more  ASE 1998»
15 years 6 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
IASTEDSE
2004
15 years 8 months ago
Towards a model-based and incremental development process for service-based systems
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
Martin Deubler, Johannes Grünbauer, Chris Sal...
166
Voted
CAV
2005
Springer
101views Hardware» more  CAV 2005»
16 years 7 days ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...
ARCS
2009
Springer
16 years 1 months ago
Empirical Performance Models for Java Workloads
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
Pradeep Rao, Kazuaki Murakami