2550 search results - page 97 / 510 » Architecture as Language |
115
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
108
click to vote
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
115
click to vote
ITP
2010
15 years 5 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
131
click to vote
FIW
1997
15 years 3 months ago
1997
Consideration of services in the Intelligent Network and telecommunications leads to the definition of ANISE (Architectural Notions In Service Engineering). This is a rigorous lan...
111
click to vote
ASPLOS
2009
ACM
15 years 8 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...