1742 search results - page 156 / 349 » An Applicative Module Calculus |
117
click to vote
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
This paper proposes Noise-Direct, a design methodology for power integrity aware floorplanning, using microarchitectural feedback to guide module placement. Stringent power constr...
99
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
110
Voted
BMCBI
2008
15 years 23 days ago
2008
Background: Correlation networks are increasingly being used in bioinformatics applications. For example, weighted gene co-expression network analysis is a systems biology method ...
204
click to vote
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
78
Voted
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...