1151 search results - page 170 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
156
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
160
click to vote
IANDC
2007
15 years 4 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
145
Voted
DAC
2009
ACM
15 years 8 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
122
click to vote
CASCON
2006
15 years 5 months ago
2006
One aspect of autonomic computing is the ability to identify, separate and automatically tune parameters related to performance, security, robustness and other properties of a sof...