Sciweavers

12333 search results - page 493 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 5 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ISCA
2011
IEEE
294views Hardware» more  ISCA 2011»
14 years 10 months ago
Moguls: a model to explore the memory hierarchy for bandwidth improvements
In recent years, the increasing number of processor cores and limited increases in main memory bandwidth have led to the problem of the bandwidth wall, where memory bandwidth is b...
Guangyu Sun, Christopher J. Hughes, Changkyu Kim, ...
ASWEC
2009
IEEE
16 years 1 months ago
Scalable Emulation of Enterprise Systems
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
Cameron Hine, Jean-Guy Schneider, Jun Han, Steven ...
WCET
2010
15 years 4 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
ECIS
2000
15 years 8 months ago
Best of Breed IT Strategy: An Alternative to Enterprise Resource Planning Systems
- Enterprise Resource Planning (ERP) software has become the dominant strategic platform for supporting enterprise-wide business processes. However, single vendor ERP software syst...
Ben Light, Christopher P. Holland, Sue Kelly, Karl...