1140 search results - page 210 / 228 » Generating compilers for generated datapaths |
122
click to vote
POPL
2010
ACM
16 years 6 days ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
136
Voted
ICS
2010
Tsinghua U.
16 years 6 days ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
113
click to vote
EUROSYS
2007
ACM
15 years 12 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
121
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we present NoCEE, a fast and accurate method for extracting energy models for packet-switched Network on Chip (NoC) routers. Linear regression is used to model the r...
127
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...