2036 search results - page 280 / 408 » Analysis of the XC6000 Architecture for Embedded System Desi... |
173
Voted
MSWIM
2005
ACM
16 years 15 days ago
2005
ACM
The substitution of ATM transport by IP in future UMTS Radio Access Networks (UTRAN) introduces several performance challenges that need to be addressed to guarantee the feasibili...
203
Voted
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
179
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...
173
Voted
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Grid computing aims to realize a high-performance computing environment, while increasing the usage efficiency of installed resources. This puts considerable constraints on the...
144
Voted
DAC
2007
ACM
16 years 8 months ago
2007
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...