Sciweavers

2392 search results - page 226 / 479
» Performance modeling from software components
Sort
View
PDCAT
2005
Springer
15 years 9 months ago
An Agile Programming Model for Grid End Users
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
Zhiwei Xu, Chengchun Shu, Haiyan Yu, Haozhi Liu
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 8 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
EUROMICRO
1998
IEEE
15 years 8 months ago
The World Wide Wait: Where Does the Time Go?
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...
Colin Allison, Martin Bramley, Jose Serrano
ENTCS
2010
118views more  ENTCS 2010»
15 years 1 months ago
Fragments-based Model Reduction: Some Case Studies
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
Jérôme Feret
132
Voted
ACSD
2006
IEEE
102views Hardware» more  ACSD 2006»
15 years 6 months ago
Models of Computation for Networks on Chip
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
Axel Jantsch