Sciweavers

5159 search results - page 161 / 1032
» Structural Testing of Executables
Sort
View
ICFP
2005
ACM
16 years 6 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ISPA
2004
Springer
15 years 11 months ago
HPL Performance Prevision to Intending System Improvement
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
Wenli Zhang, Mingyu Chen, Jianping Fan
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 11 months ago
Automated Extraction of Problem Structure
Most problems studied in artificial intelligence possess some form of structure, but a precise way to define such structure is so far lacking. We investigate how the notion of pr...
Anthony Bucci, Jordan B. Pollack, Edwin D. de Jong
RTS
2002
104views more  RTS 2002»
15 years 6 months ago
Adaptive Workload Management through Elastic Scheduling
In real-time computing systems, timing constraints imposed on application tasks are typically guaranteed off line using schedulability tests based on
Giorgio C. Buttazzo, Luca Abeni
EOR
2006
76views more  EOR 2006»
15 years 6 months ago
Regional development assessment: A structural equation approach
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
Dario Cziráky, Joze Sambt, Joze Rovan, Jaks...