3199 search results - page 605 / 640 » Variability in Automation System Models |
115
click to vote
GRID
2007
Springer
15 years 8 months ago
2007
Springer
— Currently deployed grids gather together thousands of computational and storage resources for the benefit of a large community of scientists. However, the large scale, the wid...
126
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
104
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
It is now common for multimedia applications to be partitioned and mapped onto multiple processing elements of a system-on-chip architecture. An important design constraint in suc...
125
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
116
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...