1726 search results - page 146 / 346 » Traits: Tools and Methodology |
JIB
2007
14 years 10 months ago
2007
In this paper we present how the process modeling and execution tools iPM and iPE can be used to model and execute biological processes. The main focus of this paper is on the fle...
MICRO
2010
IEEE
14 years 8 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
101
click to vote
JMLR
2010
14 years 5 months ago
2010
Directed acyclic graph (DAG) models are popular tools for describing causal relationships and for guiding attempts to learn them from data. In particular, they appear to supply a ...
110
click to vote
ISCAS
2011
IEEE
14 years 2 months ago
2011
IEEE
— Understanding circuits is fundamental to electric engineering and continuing to offer courses in theory and applications of electric circuits to new generations of engineering ...
IACR
2011
13 years 10 months ago
2011
We develop a new methodology to assess cryptographic key strength using cloud computing, by calculating the true economic cost of (symmetric- or private-) key retrieval for the mos...