1151 search results - page 193 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
140
click to vote
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
Network-on-chip (NoC) has been proposed as a solution for the global communication challenges of System-on-chip (SoC) design in the nanoscale technologies. NoC design with mesh ba...
135
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
143
click to vote
JCS
2008
15 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
171
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
185
click to vote
CLADE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...