359 search results - page 20 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
140
Voted
HPDC
2008
IEEE
15 years 2 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
124
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
118
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
107
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
134
Voted
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...