Sciweavers

795 search results - page 31 / 159
» A Formal Approach to Heterogeneous Software Modeling
Sort
View
96
Voted
ICSE
2001
IEEE-ACM
15 years 4 months ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
Tim Menzies, John D. Powell, Michael E. Houle
COMPSAC
1995
IEEE
15 years 4 months ago
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
Uffe Kock Wiil
119
Voted
CODES
2008
IEEE
15 years 7 months ago
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
Frank E. B. Ophelders, Samarjit Chakraborty, Henk ...
113
Voted
TII
2010
110views Education» more  TII 2010»
14 years 7 months ago
An Efficient Threshold-Based Power Management Mechanism for Heterogeneous Soft Real-Time Clusters
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
Leping Wang, Ying Lu
ICSE
2003
IEEE-ACM
16 years 16 days ago
DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
Eric Wohlstadter, Stoney Jackson, Premkumar T. Dev...