1763 search results - page 198 / 353 » A Formalization of Polytime Functions |
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
128
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
117
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
91
Voted
MSR
2006
ACM
15 years 7 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
104
click to vote
ASYNC
2005
IEEE
15 years 7 months ago
2005
IEEE
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...