Sciweavers

462 search results - page 65 / 93
» Characterization-Free Behavioral Power Modeling
Sort
View
FASE
2000
Springer
15 years 1 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
101
Voted
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 1 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
107
Voted
HPDC
1996
IEEE
15 years 1 months ago
Modeling the Effects of Contention on the Performance of Heterogeneous Applications
Fast networks have made it possible to coordinate distributed heterogeneous CPU, memory, and storage resources to provide a powerful platform for executing high-performance applic...
Silvia M. Figueira, Francine Berman
HIPS
1998
IEEE
15 years 1 months ago
ZPL's WYSIWYG Performance Model
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
Bradford L. Chamberlain, Sung-Eun Choi, E. Christo...
67
Voted
KDD
1999
ACM
142views Data Mining» more  KDD 1999»
15 years 1 months ago
Mining GPS Data to Augment Road Models
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
Seth Rogers, Pat Langley, Christopher Wilson